From 3fc2a525da9970fbfaff05c6c1c7d9b44001011d Mon Sep 17 00:00:00 2001
From: Patrick Loiseleur
Date: Mon, 21 Jun 1999 13:27:38 +0000
Subject: Hints Resolve

---
 coq/coq-syntax.el | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index fbb1c9f4..083259bc 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -73,7 +73,9 @@
 "Focus"
 "Grammar"
 "Hint"
-"Hints"
+"Hints\\s-+Resolve"
+"Hints\\s-+Immediate"
+"Hints\\s-+Unfold"
 "Infix"
 "Initialize"
 "Implicit\\s-+Arguments\\s-+On"
@@ -241,7 +243,7 @@
   (concat paren "\\s-*\\(" coq-ids "\\)\\s-*:"))
 
 (defun coq-next-abstr-regexp ()
-  (concat ";\\s-*\\(" coq-ids "\\)\\s-*:"))
+  (concat ";[ \t]*\\(" coq-ids "\\)\\s-*:"))
 
 (defvar coq-font-lock-terms
   (list
-- 
cgit v1.2.3