diff options
-rw-r--r-- | ide/coq.lang | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ide/coq.lang b/ide/coq.lang index d791eadc7..7679f863d 100644 --- a/ide/coq.lang +++ b/ide/coq.lang @@ -174,10 +174,11 @@ <keyword>Resolve</keyword> <keyword>Immediate</keyword> <keyword>Constructors</keyword> - <keyword>unfold</keyword> + <keyword>Unfold</keyword> <keyword>Opaque</keyword> <keyword>Transparent</keyword> <keyword>Extern</keyword> + <keyword>Rewrite</keyword> </context> <context id="scope-command" style-ref="vernac-keyword"> <suffix>\%{space}+Scope</suffix> |