diff options
| author | Gregory Malecha <gmalecha@gmail.com> | 2015-12-18 11:21:02 -0800 |
|---|---|---|
| committer | Gregory Malecha <gmalecha@gmail.com> | 2015-12-18 11:21:02 -0800 |
| commit | 3ba27e596ae05e2c807e95fd71e755ae442d2a03 (patch) | |
| tree | cc4b2a875351dcb392589ee140120aabe3fb98fa /pygments/lexers/theorem.py | |
| parent | 2b910cf6b576321b1261379ca2be2d2f19d88ae1 (diff) | |
| download | pygments-3ba27e596ae05e2c807e95fd71e755ae442d2a03.tar.gz | |
a few missing keyworkds.
Diffstat (limited to 'pygments/lexers/theorem.py')
| -rw-r--r-- | pygments/lexers/theorem.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pygments/lexers/theorem.py b/pygments/lexers/theorem.py index 47fdc8b6..30812f2f 100644 --- a/pygments/lexers/theorem.py +++ b/pygments/lexers/theorem.py @@ -43,7 +43,8 @@ class CoqLexer(RegexLexer): 'Proposition', 'Fact', 'Remark', 'Example', 'Proof', 'Goal', 'Save', 'Qed', 'Defined', 'Hint', 'Resolve', 'Rewrite', 'View', 'Search', 'Show', 'Print', 'Printing', 'All', 'Graph', 'Projections', 'inside', - 'outside', 'Check', + 'outside', 'Check', 'Global', 'Instance', 'Class', + 'Universe', 'Polymorphic', 'Monomorphic' ) keywords2 = ( # Gallina |