From 37674bf9bbc43da03789a1f47dcedccc685401e5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 10 Oct 2010 15:50:39 +0000
Subject: coq-generic-expression: fix this to match symbols, not merely words.
 Otherwise we only see first word of symbols using underscores!

---
 coq/coq-syntax.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index f5253cc2..7b5306d3 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -1028,7 +1028,9 @@ Group number 1 matches the name of the library which is required.")
 (defconst coq-generic-expression
   (mapcar (lambda (kw)
 	    (list (capitalize kw)
-		  (concat "\\<" kw "\\>" "\\s-+\\(\\w+\\)\\W" )
+; 		  (concat "\\<" kw "\\>" "\\s-+\\(\\w+\\)\\W" )
+; da: that seems buggy (kw already in \\<,\\>; want symbols, not words)
+		  (concat kw "\\s-+\\(\\_<\\(?:\\sw\\|\\s_\\)+\\_>\\)")
 		  1))
 	  (append coq-keywords-decl coq-keywords-defn coq-keywords-goal)))
 
-- 
cgit v1.2.3