diff options
| author | David Aspinall | 2003-05-23 09:10:20 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-05-23 09:10:20 +0000 |
| commit | 5a77a0a4000f9578fbfb5b2941019bc26958f1da (patch) | |
| tree | b157a6f676fcf0a0982b0d67579d036d471e2f46 | |
| parent | 7946223ce507bf7d176e72f9eab8559f4521e253 (diff) | |
Fix from Gerwin to repair grouping
| -rw-r--r-- | isar/isar-syntax.el | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 5686d31b..244b40a0 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -203,7 +203,7 @@ "Regexp matching any Isabelle/Isar command keyword.") (defconst isar-name-regexp - (concat "\\s-*\\(?:" isar-string "\\|" isar-id "\\)\\s-*") + (concat "\\s-*\\(" isar-string "\\|" isar-id "\\)\\s-*") "Regexp matching Isabelle/Isar names, with contents grouped.") (defconst isar-tac-regexp @@ -233,8 +233,12 @@ ;; 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 "\\)*}") + (concat "@{\\(?:[^\"{}]+\\|" isar-string "\\)\\{0,10\\}}") "Regexp matching Isabelle/Isar antiquoations.") |