diff options
| author | Clément Pit-Claudel | 2020-11-19 19:31:32 -0500 |
|---|---|---|
| committer | Clément Pit-Claudel | 2020-11-19 19:34:31 -0500 |
| commit | 702f5b90ce36e17493fbd5390db7c35097ae8149 (patch) | |
| tree | 4f2e63d376a23fa600be160caa42a3f84f189690 | |
| parent | 0fdb1ae633baeb9afb07bbd8632bece5976f95f2 (diff) | |
coq: Add highlighting for Hint Mode
| -rw-r--r-- | coq/coq-syntax.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 4cb6de55..0e143637 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -428,6 +428,7 @@ so for the following reasons: ("Global Variables" "gvs" "Global Variables # , #: #." t "Global\\s-+Variables") ("Hint Constructors" "hc" "Hint Constructors # : #." t "Hint\\s-+Constructors") ("Hint Extern" "he" "Hint Extern @{cost} @{pat} => @{tac} : @{db}." t "Hint\\s-+Extern") + ("Hint Mode" "hm" "Hint Mode # @{mode...} : @{db}." t "Hint\\s-+Mode") ("Hint Immediate" "hi" "Hint Immediate # : @{db}." t "Hint\\s-+Immediate") ("Hint Resolve" "hr" "Hint Resolve # : @{db}." t "Hint\\s-+Resolve") ("Hint Rewrite ->" "hrw" "Hint Rewrite -> @{t1,t2...} using @{tac} : @{db}." t "Hint\\s-+Rewrite") |