From 2d9d9fa22b952e8756c195f3ee27c10056ac61df Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Sep 2008 13:21:16 +0000
Subject: Fix by Stephan Hohe http://proofgeneral.inf.ed.ac.uk/trac/ticket/236

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

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 8c8a4310..19b8f775 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -252,14 +252,9 @@ matches contents of quotes for quoted identifiers.")
 
 ;; 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 "\\)\\{0,10\\}}")
-  "Regexp matching Isabelle/Isar antiquoations.")
-
+(defconst isar-antiq-regexp 
+  (concat "@{\\(?:[^\"{}]\\|" isar-string "\\)*}") 
+  "Regexp matching Isabelle/Isar antiquotations.")
 
 ;; keyword nesting
 
-- 
cgit v1.2.3