diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-09-18 13:21:16 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-09-18 13:21:16 +0000 |
| commit | 2d9d9fa22b952e8756c195f3ee27c10056ac61df (patch) | |
| tree | e7423ecec22f6500ce3dc0aef13a418860740fc2 /isar/isar-syntax.el | |
| parent | 673e9d139699fb832bbfd910e346ec18c243b7c8 (diff) | |
Fix by Stephan Hohe
Diffstat (limited to 'isar/isar-syntax.el')
| -rw-r--r-- | isar/isar-syntax.el | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 8c8a4310..19b8f775 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -252,14 +252,9 @@ matches contents of quotes for quoted identifiers.") ;; antiquotations -;; the \{0,10\} bound is there because otherwise font-lock sometimes hangs for -;; incomplete antiquotations like @{text bla"} (even though it is supposed to -;; stop at eol anyway). - -(defconst isar-antiq-regexp - (concat "@{\\(?:[^\"{}]+\\|" isar-string "\\)\\{0,10\\}}") - "Regexp matching Isabelle/Isar antiquoations.") - +(defconst isar-antiq-regexp + (concat "@{\\(?:[^\"{}]\\|" isar-string "\\)*}") + "Regexp matching Isabelle/Isar antiquotations.") ;; keyword nesting |