From 9ba3bca4ebdebdbb2088e678e3b29908a9bbfef6 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 7 May 2015 08:58:02 +0000
Subject: Fixes #484. Added syntax.

---
 coq/coq-syntax.el | 1 +
 1 file changed, 1 insertion(+)

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")
-- 
cgit v1.2.3