From 1a6112941c545e2019bdbd399d884581fb2f3d8c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 Jun 2004 15:29:46 +0000
Subject: Fix another bug introduced by Gerwin's shy grouping
 "optimisations"...

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

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 09ffee34..5f6f548d 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -216,14 +216,14 @@ This list is in the right format for proof-easy-config.")
 (defconst isar-id (concat "\\(" isar-ext-first isar-ext-rest "*\\)"))
 (defconst isar-idx (concat isar-id "\\(?:\\.[0-9]+\\)?"))
 
-(defconst isar-string "\"\\(?:\\(?:[^\"]\\|\\\\\"\\)*\\)\"")
+(defconst isar-string "\"\\(\\(?:[^\"]\\|\\\\\"\\)*\\)\"")
 
 (defconst isar-any-command-regexp
   (isar-ids-to-regexp isar-keywords-major)
   "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
-- 
cgit v1.2.3