Admin/ProofGeneral/isar-antiq-regexp.patch
author wenzelm
Thu, 26 Nov 2009 12:13:43 +0100
changeset 33900 528cb0c58451
permissions -rw-r--r--
patch for the infamous antiquotation font-lock problem of Proof General 3.7.1 with GNU Emacs, cf. http://proofgeneral.inf.ed.ac.uk/trac/ticket/236

--- a/isar/isar-syntax.el	Wed Aug 06 11:43:47 2008 +0200
+++ b/isar/isar-syntax.el	Thu Sep 18 15:21:16 2008 +0200
@@ -252,14 +252,9 @@
 
 ;; 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