| author | wenzelm |
| Thu, 27 Jan 2011 20:46:20 +0100 | |
| changeset 41887 | d1cac8c778ed |
| parent 33916 | Admin/ProofGeneral/isar-antiq-regexp.patch@528cb0c58451 |
| permissions | -rw-r--r-- |
| wenzelm@33916 | 1 |
--- a/isar/isar-syntax.el Wed Aug 06 11:43:47 2008 +0200 |
| wenzelm@33916 | 2 |
+++ b/isar/isar-syntax.el Thu Sep 18 15:21:16 2008 +0200 |
| wenzelm@33916 | 3 |
@@ -252,14 +252,9 @@ |
| wenzelm@33916 | 4 |
|
| wenzelm@33916 | 5 |
;; antiquotations |
| wenzelm@33916 | 6 |
|
| wenzelm@33916 | 7 |
-;; the \{0,10\} bound is there because otherwise font-lock sometimes hangs for
|
| wenzelm@33916 | 8 |
-;; incomplete antiquotations like @{text bla"} (even though it is supposed to
|
| wenzelm@33916 | 9 |
-;; stop at eol anyway). |
| wenzelm@33916 | 10 |
- |
| wenzelm@33916 | 11 |
-(defconst isar-antiq-regexp |
| wenzelm@33916 | 12 |
- (concat "@{\\(?:[^\"{}]+\\|" isar-string "\\)\\{0,10\\}}")
|
| wenzelm@33916 | 13 |
- "Regexp matching Isabelle/Isar antiquoations.") |
| wenzelm@33916 | 14 |
- |
| wenzelm@33916 | 15 |
+(defconst isar-antiq-regexp |
| wenzelm@33916 | 16 |
+ (concat "@{\\(?:[^\"{}]\\|" isar-string "\\)*}")
|
| wenzelm@33916 | 17 |
+ "Regexp matching Isabelle/Isar antiquotations.") |
| wenzelm@33916 | 18 |
|
| wenzelm@33916 | 19 |
;; keyword nesting |
| wenzelm@33916 | 20 |
|
| wenzelm@33916 | 21 |