From 88fcac71288ef05964511af28a0f0807dfac45d7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 Jun 2004 16:04:36 +0000
Subject: Continue the grouping bug fix.

---
 isar/isar-syntax.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 5f6f548d..e9a7a159 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -223,7 +223,7 @@ This list is in the right format for proof-easy-config.")
   "Regexp matching any Isabelle/Isar command keyword.")
 
 (defconst isar-name-regexp
-  (concat "\\s-*\\(?:" isar-string "\\|" isar-id "\\)\\s-*")
+  (concat "\\s-*\\(" isar-string "\\|" isar-id "\\)\\s-*")
   "Regexp matching Isabelle/Isar names; surrounding space and contents grouped.")
 
 (defconst isar-tac-regexp
@@ -438,7 +438,7 @@ This list is in the right format for proof-easy-config.")
 
 (defconst isar-next-entity-regexps
   (list isar-any-entity-regexp
-        (list isar-named-entity-regexp '(1 2))))
+        (list isar-named-entity-regexp '(1 3))))
 ;; da: I've removed unnamed entities, they clutter the menu 
 ;; NB: to add back, need ? at end of isar-any-entity-regexp
 ;;	(list isar-unnamed-entity-regexp 1)))
@@ -450,7 +450,7 @@ This list is in the right format for proof-easy-config.")
 		  (concat "\\<" kw "\\>"
 			  "\\(?:\\s-*(\\s-*in[^)]+)\\)?"
 			  isar-name-regexp "[[:=]")
-		  1))
+		  2))
 	  isar-keywords-fume))
 
 ;; ----- indentation
-- 
cgit v1.2.3