Fix by Stephan Hohe

http://proofgeneral.inf.ed.ac.uk/trac/ticket/236

1 files 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