diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-03-06 16:06:38 +0100 |
---|---|---|
committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-03-06 16:06:38 +0100 |
commit | 69fb6b654cf02ca0e8b57feef6cf1c31effe6cc4 (patch) | |
tree | ba008c559121f3cfc0a84dffd5d7df14b5ce5b7d /ide/coq.lang | |
parent | 1fb3573621dfeb32efea23c26a9164056706f55e (diff) |
Add syntax highlighting for Declare Module.
Diffstat (limited to 'ide/coq.lang')
-rw-r--r-- | ide/coq.lang | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ide/coq.lang b/ide/coq.lang index 269bed938..853170270 100644 --- a/ide/coq.lang +++ b/ide/coq.lang @@ -190,6 +190,7 @@ <keyword>Scheme\%{space}((Induction)|(Minimality)|(Elimination)|(Case)|(Equality))\%{space}for</keyword> <keyword>End</keyword> <keyword>Section</keyword> + <keyword>Declare\%{space}+Module(\%{space}+((Import)|(Export)))?</keyword> <keyword>About</keyword> <keyword>Arguments</keyword> <keyword>Implicit\%{space}+Arguments</keyword> |