diff options
| author | Jason Gross | 2016-07-03 12:05:26 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel | 2016-07-03 15:05:26 -0400 |
| commit | c022079c7ec0559852de9877b98ffda4b70bd8b2 (patch) | |
| tree | 9d7df18b5247270dce23ee64820490abe4b2e11d | |
| parent | 33e6c6b925319eea83685174981db376008e3203 (diff) | |
Highlight Existing Class like Existing Instance (#85)
Closes #81
| -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 e49e18a1..920fb439 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -421,6 +421,7 @@ so for the following reasons: ("Hint Rewrite ->" "hrw" "Hint Rewrite -> @{t1,t2...} using @{tac} : @{db}." t "Hint\\s-+Rewrite") ("Hint Rewrite <-" "hrw" "Hint Rewrite <- @{t1,t2...} using @{tac} : @{db}." t ) ("Hint Unfold" "hu" "Hint Unfold # : #." t "Hint\\s-+Unfold") + ("Existing Class" nil "Existing Class " t "Existing\\s-+Class") ("Existing Instance" nil "Existing Instance " t "Existing\\s-+Instance") ("Existing Instances" nil "Existing Instances " t "Existing\\s-+Instances") ("Hypothesis" "hyp" "Hypothesis #: #" t "Hypothesis") |