Admin/ProofGeneral/isar-antiq-regexp.patch
changeset 33900 528cb0c58451
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/ProofGeneral/isar-antiq-regexp.patch	Thu Nov 26 12:13:43 2009 +0100
     1.3 @@ -0,0 +1,21 @@
     1.4 +--- a/isar/isar-syntax.el	Wed Aug 06 11:43:47 2008 +0200
     1.5 ++++ b/isar/isar-syntax.el	Thu Sep 18 15:21:16 2008 +0200
     1.6 +@@ -252,14 +252,9 @@
     1.7 + 
     1.8 + ;; antiquotations
     1.9 + 
    1.10 +-;; the \{0,10\} bound is there because otherwise font-lock sometimes hangs for
    1.11 +-;; incomplete antiquotations like @{text bla"} (even though it is supposed to
    1.12 +-;; stop at eol anyway).
    1.13 +-
    1.14 +-(defconst isar-antiq-regexp
    1.15 +-  (concat "@{\\(?:[^\"{}]+\\|" isar-string "\\)\\{0,10\\}}")
    1.16 +-  "Regexp matching Isabelle/Isar antiquoations.")
    1.17 +-
    1.18 ++(defconst isar-antiq-regexp 
    1.19 ++  (concat "@{\\(?:[^\"{}]\\|" isar-string "\\)*}") 
    1.20 ++  "Regexp matching Isabelle/Isar antiquotations.")
    1.21 + 
    1.22 + ;; keyword nesting
    1.23 + 
    1.24 +