diff options
Diffstat (limited to 'pygments/lexers/theorem.py')
| -rw-r--r-- | pygments/lexers/theorem.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pygments/lexers/theorem.py b/pygments/lexers/theorem.py index 94e6bae8..5292c892 100644 --- a/pygments/lexers/theorem.py +++ b/pygments/lexers/theorem.py @@ -300,8 +300,8 @@ class IsabelleLexer(RegexLexer): (r'\(\*', Comment, 'comment'), (r'\{\*', Comment, 'text'), - (r'(%s)' % '|'.join(operators), Operator), - (r'(%s)' % '|'.join(proof_operators), Operator.Word), + (words(operators), Operator), + (words(proof_operators), Operator.Word), (words(keyword_minor, prefix=r'\b', suffix=r'\b'), Keyword.Pseudo), |