diff options
| author | Maximilian Wuttke <mwuttke97@posteo.de> | 2021-02-23 20:10:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-23 20:10:16 +0100 |
| commit | ad55974ce83b85dbb333ab57764415ab84169461 (patch) | |
| tree | 624ed08e34db65c3870cde1bc92c4827103c1434 /pygments/lexers/theorem.py | |
| parent | 1dc90599e9b4a93d06365443ef6f7cc3b193108e (diff) | |
| download | pygments-git-ad55974ce83b85dbb333ab57764415ab84169461.tar.gz | |
Two updates for the Coq lexer (#1721)
* Coq: Add `Abort`,`Admitted`, `SProp`
* Coq lexer: add unicode notations defined in the standard library
Also comment out Π and Σ, since these notations are not defined in the
standard library.
Diffstat (limited to 'pygments/lexers/theorem.py')
| -rw-r--r-- | pygments/lexers/theorem.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/pygments/lexers/theorem.py b/pygments/lexers/theorem.py index eee11269..ec55a32e 100644 --- a/pygments/lexers/theorem.py +++ b/pygments/lexers/theorem.py @@ -43,6 +43,7 @@ class CoqLexer(RegexLexer): 'Canonical', 'Coercion', 'Theorem', 'Lemma', 'Corollary', 'Proposition', 'Fact', 'Remark', 'Example', 'Proof', 'Goal', 'Save', 'Qed', 'Defined', 'Hint', 'Resolve', 'Rewrite', 'View', 'Search', + 'Abort', 'Admitted', 'Show', 'Print', 'Printing', 'All', 'Graph', 'Projections', 'inside', 'outside', 'Check', 'Global', 'Instance', 'Class', 'Existing', 'Universe', 'Polymorphic', 'Monomorphic', 'Context' @@ -55,7 +56,7 @@ class CoqLexer(RegexLexer): ) keywords3 = ( # Sorts - 'Type', 'Prop', + 'Type', 'Prop', 'SProp', ) keywords4 = ( # Tactics @@ -94,7 +95,8 @@ class CoqLexer(RegexLexer): '<->', '=', '>', '>]', r'>\}', r'\?', r'\?\?', r'\[', r'\[<', r'\[>', r'\[\|', ']', '_', '`', r'\{', r'\{<', r'\|', r'\|]', r'\}', '~', '=>', r'/\\', r'\\/', r'\{\|', r'\|\}', - 'Π', 'λ', + # 'Π', 'Σ', # Not defined in the standard library + 'λ', '¬', '∧', '∨', '∀', '∃', '→', '↔', '≠', '≤', '≥', ) operators = r'[!$%&*+\./:<=>?@^|~-]' prefix_syms = r'[!?~]' |