diff options
| -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 d634bc1d6c..46d91816a7 100644 --- a/ide/coq.lang +++ b/ide/coq.lang @@ -189,6 +189,7 @@ <keyword>Combined\%{space}+Scheme</keyword> <keyword>End</keyword> <keyword>Section</keyword> + <keyword>About</keyword> <keyword>Arguments</keyword> <keyword>Implicit\%{space}+Arguments</keyword> <keyword>Import</keyword> |