diff options
| author | Matthäus G. Chajdas <dev@anteru.net> | 2020-09-22 20:40:58 +0200 |
|---|---|---|
| committer | Matthäus G. Chajdas <dev@anteru.net> | 2020-09-22 20:40:58 +0200 |
| commit | f0d31da6b26e7057dc488d8ee04e06b1a448a49c (patch) | |
| tree | bb01aa5da7a5f4aa4e3e2a4836b040c535ea977d /pygments/lexers/theorem.py | |
| parent | 07f596dbb9357c1ec2077bdc4319f594d287ae15 (diff) | |
| download | pygments-git-task/add-analyze-text.tar.gz | |
Improve various analyse_text methods.task/add-analyze-text
* Make Perl less confident in presence of :=.
* Improve brainfuck check to not parse the whole input.
* Improve Unicon by matching \self, /self
* Fix Ezhil not matching against the input text
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): |