diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2015-05-07 08:58:02 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2015-05-07 08:58:02 +0000 |
| commit | 9ba3bca4ebdebdbb2088e678e3b29908a9bbfef6 (patch) | |
| tree | 73fe1bd37e7dc2f906d4d4f7d344cc31f5aa8ed8 /coq/coq-syntax.el | |
| parent | 03c360d0fda0434c6aa51a803b206b2fd06a8d45 (diff) | |
Fixes #484. Added syntax.
Diffstat (limited to 'coq/coq-syntax.el')
| -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 308c7619..16203712 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -400,6 +400,7 @@ so for the following reasons: ("Hint Rewrite <-" "hrw" "Hint Rewrite <- @{t1,t2...} using @{tac} : @{db}." t ) ("Hint Unfold" "hu" "Hint Unfold # : #." t "Hint\\s-+Unfold") ("Existing Instance" nil "Existing Instance " t "Existing\\s-+Instance") + ("Existing Instances" nil "Existing Instances " t "Existing\\s-+Instances") ("Hypothesis" "hyp" "Hypothesis #: #" t "Hypothesis") ("Hypotheses" "hyp" "Hypotheses #: #" t "Hypotheses") ("Parameter" "par" "Parameter #: #" t "Parameter") |