Admin/ProofGeneral/3.7.1.1/isar-antiq-regexp.patch
author blanchet
Mon, 19 May 2014 23:43:53 +0200
changeset 57005 33f3d2ea803d
parent 41639 d1cac8c778ed
permissions -rw-r--r--
store all MaSh data on the Isabelle side, in preparation for replacing 'mash.py' with ML solution
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
33900
528cb0c58451 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
wenzelm
parents:
diff changeset
     1
--- a/isar/isar-syntax.el	Wed Aug 06 11:43:47 2008 +0200
528cb0c58451 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
wenzelm
parents:
diff changeset
     2
+++ b/isar/isar-syntax.el	Thu Sep 18 15:21:16 2008 +0200
528cb0c58451 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
wenzelm
parents:
diff changeset
     3
@@ -252,14 +252,9 @@
528cb0c58451 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
wenzelm
parents:
diff changeset
     4
 
528cb0c58451 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
wenzelm
parents:
diff changeset
     5
 ;; antiquotations
528cb0c58451 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
wenzelm
parents:
diff changeset
     6
 
528cb0c58451 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
wenzelm
parents:
diff changeset
     7
-;; the \{0,10\} bound is there because otherwise font-lock sometimes hangs for
528cb0c58451 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
wenzelm
parents:
diff changeset
     8
-;; incomplete antiquotations like @{text bla"} (even though it is supposed to
528cb0c58451 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
wenzelm
parents:
diff changeset
     9
-;; stop at eol anyway).
528cb0c58451 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
wenzelm
parents:
diff changeset
    10
-
528cb0c58451 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
wenzelm
parents:
diff changeset
    11
-(defconst isar-antiq-regexp
528cb0c58451 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
wenzelm
parents:
diff changeset
    12
-  (concat "@{\\(?:[^\"{}]+\\|" isar-string "\\)\\{0,10\\}}")
528cb0c58451 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
wenzelm
parents:
diff changeset
    13
-  "Regexp matching Isabelle/Isar antiquoations.")
528cb0c58451 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
wenzelm
parents:
diff changeset
    14
-
528cb0c58451 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
wenzelm
parents:
diff changeset
    15
+(defconst isar-antiq-regexp 
528cb0c58451 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
wenzelm
parents:
diff changeset
    16
+  (concat "@{\\(?:[^\"{}]\\|" isar-string "\\)*}") 
528cb0c58451 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
wenzelm
parents:
diff changeset
    17
+  "Regexp matching Isabelle/Isar antiquotations.")
528cb0c58451 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
wenzelm
parents:
diff changeset
    18
 
528cb0c58451 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
wenzelm
parents:
diff changeset
    19
 ;; keyword nesting
528cb0c58451 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
wenzelm
parents:
diff changeset
    20
 
528cb0c58451 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
wenzelm
parents:
diff changeset
    21