From 5a77a0a4000f9578fbfb5b2941019bc26958f1da Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 23 May 2003 09:10:20 +0000
Subject: Fix from Gerwin to repair grouping

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

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 5686d31b..244b40a0 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -203,7 +203,7 @@
   "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, with contents grouped.")
 
 (defconst isar-tac-regexp
@@ -233,8 +233,12 @@
 
 ;; antiquotations
 
+;; the \{0,10\} bound is there because otherwise font-lock sometimes hangs for
+;; incomplete antiquotations like @{text bla"} (even though it is supposed to
+;; stop at eol anyway). 
+
 (defconst isar-antiq-regexp
-  (concat "@{\\(?:[^\"{}]+\\|" isar-string "\\)*}")
+  (concat "@{\\(?:[^\"{}]+\\|" isar-string "\\)\\{0,10\\}}")
   "Regexp matching Isabelle/Isar antiquoations.")
 
 
-- 
cgit v1.2.3