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