Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/ProofGeneral/isar-antiq-regexp.patch
author blanchet
Tue, 03 Aug 2010 17:29:27 +0200
changeset 38183 e3bb14be0931
parent 33900 528cb0c58451
permissions -rw-r--r--
updated example timings
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
 














isabelle