diff options
author | Gaurav Jain <gaurav@gauravjain.org> | 2014-06-29 22:08:04 -0700 |
---|---|---|
committer | Gaurav Jain <gaurav@gauravjain.org> | 2014-06-29 22:08:04 -0700 |
commit | 827f32f543bd55ad65d01acca45658169a9b4a8a (patch) | |
tree | 2eb2379cc05e0bcfb85c341e4ca4b870990ae687 | |
parent | 9d8d60efb4422d49dc6af9fb83e902b0a0a20d7a (diff) | |
download | pygments-827f32f543bd55ad65d01acca45658169a9b4a8a.tar.gz |
Add missing Vernacular command 'Check' and tactic 'tauto'
-rw-r--r-- | pygments/lexers/functional.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pygments/lexers/functional.py b/pygments/lexers/functional.py index 7b5e45e3..b9ed912f 100644 --- a/pygments/lexers/functional.py +++ b/pygments/lexers/functional.py @@ -2760,7 +2760,7 @@ 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', + 'outside', 'Check', ] keywords2 = [ # Gallina @@ -2781,7 +2781,7 @@ class CoqLexer(RegexLexer): 'unfold', 'change', 'cutrewrite', 'simpl', 'have', 'suff', 'wlog', 'suffices', 'without', 'loss', 'nat_norm', 'assert', 'cut', 'trivial', 'revert', 'bool_congr', 'nat_congr', 'symmetry', 'transitivity', 'auto', - 'split', 'left', 'right', 'autorewrite', + 'split', 'left', 'right', 'autorewrite', 'tauto', ] keywords5 = [ # Terminators |