Commit d277a2a6 authored by MARCHE Claude's avatar MARCHE Claude

Try why3: mode why3 enhanced

parent 0541ea59
......@@ -80,7 +80,7 @@ var Why3HighlightRules = function() {
},
{
token : "keyword.operator",
regex : "&&|\\|\\||<>|="
regex : "&&|\\|\\||/\\\\|\\\\/|->|<->"
},
{
token : "paren.lparen",
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment