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
authorwenzelm
Thu Nov 26 12:13:43 2009 +0100 (2009-11-26)
changeset 33900528cb0c58451
parent 33899 07ab63b320dd
child 33901 2202882e5ec7
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
Admin/ProofGeneral/isar-antiq-regexp.patch
     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 +