diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-03-06 17:09:51 +0100 |
|---|---|---|
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-03-06 17:09:51 +0100 |
| commit | e3fa5b386e18ad9327cf635f92a0160792b202c6 (patch) | |
| tree | 37c97c3fa6d171a25ad8f688bc4548beae8152fd /ide/coq.lang | |
| parent | 1fe8a6717a51a616f97a3d5f130003301d64e963 (diff) | |
Fix syntax highlighting of Print/Reset Extraction.
Diffstat (limited to 'ide/coq.lang')
| -rw-r--r-- | ide/coq.lang | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/coq.lang b/ide/coq.lang index e13a94aea..22f0e48dc 100644 --- a/ide/coq.lang +++ b/ide/coq.lang @@ -156,13 +156,13 @@ <keyword>Eval</keyword> <keyword>Load</keyword> <keyword>Undo</keyword> + <keyword>(Print|Reset)\%{space}+Extraction\%{space}+(Inline|Blacklist)</keyword> <keyword>Print</keyword> <keyword>Comments</keyword> <keyword>Solve\%{space}+Obligation</keyword> <keyword>((Uns)|(S))et(\%{space}+\%{ident})+</keyword> <keyword>(\%{locality}|((Reserved)|(Tactic))\%{space}+)?Notation</keyword> <keyword>\%{locality}Infix</keyword> - <keyword>(Print)|(Reset)\%{space}+Extraction\%{space}+(Inline)|(Blacklist)</keyword> <keyword>Declare\%{space}+ML\%{space}+Module</keyword> <keyword>Extraction\%{space}+Language\%{space}+(Ocaml|Haskell|Scheme)</keyword> </context> |