equal
deleted
inserted
replaced
1 --- a/isar/isar-syntax.el Wed Aug 06 11:43:47 2008 +0200 |
|
2 +++ b/isar/isar-syntax.el Thu Sep 18 15:21:16 2008 +0200 |
|
3 @@ -252,14 +252,9 @@ |
|
4 |
|
5 ;; antiquotations |
|
6 |
|
7 -;; the \{0,10\} bound is there because otherwise font-lock sometimes hangs for |
|
8 -;; incomplete antiquotations like @{text bla"} (even though it is supposed to |
|
9 -;; stop at eol anyway). |
|
10 - |
|
11 -(defconst isar-antiq-regexp |
|
12 - (concat "@{\\(?:[^\"{}]+\\|" isar-string "\\)\\{0,10\\}}") |
|
13 - "Regexp matching Isabelle/Isar antiquoations.") |
|
14 - |
|
15 +(defconst isar-antiq-regexp |
|
16 + (concat "@{\\(?:[^\"{}]\\|" isar-string "\\)*}") |
|
17 + "Regexp matching Isabelle/Isar antiquotations.") |
|
18 |
|
19 ;; keyword nesting |
|
20 |
|
21 |
|