diff options
-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> |