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 c4c857d4..a4fa24de 100644 --- a/pygments/lexers/theorem.py +++ b/pygments/lexers/theorem.py @@ -154,8 +154,8 @@ class CoqLexer(RegexLexer): } def analyse_text(text): - if text.startswith('(*'): - return True + if 'qed' in text and 'tauto' in text: + return 1 class IsabelleLexer(RegexLexer): |