diff options
| author | Tim Hatch <tim@timhatch.com> | 2014-10-04 11:12:09 -0700 |
|---|---|---|
| committer | Tim Hatch <tim@timhatch.com> | 2014-10-04 11:12:09 -0700 |
| commit | 9c1cc3718f960d907120e48ffe3c887bed428ede (patch) | |
| tree | 4fcf4b7bf1cf9f86b425888ea1248f9622499092 /pygments/lexers/theorem.py | |
| parent | 900ce2be770ce98e7a93d5e687ae6a0184b2015c (diff) | |
| download | pygments-9c1cc3718f960d907120e48ffe3c887bed428ede.tar.gz | |
Fix quoting for IsabelleLexer
Diffstat (limited to 'pygments/lexers/theorem.py')
| -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': [ |