diff options
| -rw-r--r-- | pygments/lexers/theorem.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pygments/lexers/theorem.py b/pygments/lexers/theorem.py index 5292c892..9ab77fc9 100644 --- a/pygments/lexers/theorem.py +++ b/pygments/lexers/theorem.py @@ -288,11 +288,11 @@ class IsabelleLexer(RegexLexer): ) operators = ( - '\\:\\:', '\\:', '\\(', '\\)', '\\[', '\\]', '_', '=', ',', '\\|', - '\\+', '\\-', '\\!', '\\?', + '::', ':', '(', ')', '[', ']', '_', '=', ',', '|', + '+', '-', '!', '?', ) - proof_operators = ('\\{', '\\}', '\\.', '\\.\\.') + proof_operators = ('{', '}', '.', '..') tokens = { 'root': [ |