diff options
| author | Gaurav Jain <gaurav@gauravjain.org> | 2014-06-29 22:04:21 -0700 |
|---|---|---|
| committer | Gaurav Jain <gaurav@gauravjain.org> | 2014-06-29 22:04:21 -0700 |
| commit | 9d8d60efb4422d49dc6af9fb83e902b0a0a20d7a (patch) | |
| tree | 53bb6d7707406a9cc44590cb171bb2658b13e1a5 | |
| parent | 2f1c724903db081f1d6941d366ca95070049e94b (diff) | |
| download | pygments-9d8d60efb4422d49dc6af9fb83e902b0a0a20d7a.tar.gz | |
Add <-> token to Coq lexer
| -rw-r--r-- | pygments/lexers/functional.py | 6 | ||||
| -rw-r--r-- | tests/examplefiles/example_coq.v | 4 |
2 files changed, 7 insertions, 3 deletions
diff --git a/pygments/lexers/functional.py b/pygments/lexers/functional.py index a22c4f55..7b5e45e3 100644 --- a/pygments/lexers/functional.py +++ b/pygments/lexers/functional.py @@ -2800,9 +2800,9 @@ class CoqLexer(RegexLexer): # 'raise', 'rec', 'sig', 'struct', 'then', 'to', 'true', 'try', # 'type', 'val', 'virtual', 'when', 'while', 'with' keyopts = [ - '!=', '#', '&', '&&', r'\(', r'\)', r'\*', r'\+', ',', '-', - r'-\.', '->', r'\.', r'\.\.', ':', '::', ':=', ':>', ';', ';;', '<', - '<-', '=', '>', '>]', '>}', r'\?', r'\?\?', r'\[', r'\[<', r'\[>', + '!=', '#', '&', '&&', r'\(', r'\)', r'\*', r'\+', ',', '-', r'-\.', + '->', r'\.', r'\.\.', ':', '::', ':=', ':>', ';', ';;', '<', '<-', + '<->', '=', '>', '>]', '>}', r'\?', r'\?\?', r'\[', r'\[<', r'\[>', r'\[\|', ']', '_', '`', '{', '{<', r'\|', r'\|]', '}', '~', '=>', r'/\\', r'\\/', u'Π', u'λ', diff --git a/tests/examplefiles/example_coq.v b/tests/examplefiles/example_coq.v new file mode 100644 index 00000000..fd1a7bc8 --- /dev/null +++ b/tests/examplefiles/example_coq.v @@ -0,0 +1,4 @@ +Lemma FalseLemma : False <-> False. +tauto. +Qed. +Check FalseLemma. |