Admin/ProofGeneral/isar-antiq-regexp.patch
author blanchet
Tue Dec 07 11:56:53 2010 +0100 (2010-12-07)
changeset 41052 3db267a01c1d
parent 33900 528cb0c58451
permissions -rw-r--r--
remove the "fin_fun" optimization in Nitpick -- it was always a hack and didn't help much
wenzelm@33900
     1
--- a/isar/isar-syntax.el	Wed Aug 06 11:43:47 2008 +0200
wenzelm@33900
     2
+++ b/isar/isar-syntax.el	Thu Sep 18 15:21:16 2008 +0200
wenzelm@33900
     3
@@ -252,14 +252,9 @@
wenzelm@33900
     4
 
wenzelm@33900
     5
 ;; antiquotations
wenzelm@33900
     6
 
wenzelm@33900
     7
-;; the \{0,10\} bound is there because otherwise font-lock sometimes hangs for
wenzelm@33900
     8
-;; incomplete antiquotations like @{text bla"} (even though it is supposed to
wenzelm@33900
     9
-;; stop at eol anyway).
wenzelm@33900
    10
-
wenzelm@33900
    11
-(defconst isar-antiq-regexp
wenzelm@33900
    12
-  (concat "@{\\(?:[^\"{}]+\\|" isar-string "\\)\\{0,10\\}}")
wenzelm@33900
    13
-  "Regexp matching Isabelle/Isar antiquoations.")
wenzelm@33900
    14
-
wenzelm@33900
    15
+(defconst isar-antiq-regexp 
wenzelm@33900
    16
+  (concat "@{\\(?:[^\"{}]\\|" isar-string "\\)*}") 
wenzelm@33900
    17
+  "Regexp matching Isabelle/Isar antiquotations.")
wenzelm@33900
    18
 
wenzelm@33900
    19
 ;; keyword nesting
wenzelm@33900
    20
 
wenzelm@33900
    21