diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-06-16 15:29:46 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-06-16 15:29:46 +0000 |
commit | 1a6112941c545e2019bdbd399d884581fb2f3d8c (patch) | |
tree | ccac55ac8a446033fb4ea0b794c1c771236d67cc /isar/isar-syntax.el | |
parent | a349ff0afa64b97794f26f0cb486a1d59ebcbd0a (diff) |
Fix another bug introduced by Gerwin's shy grouping "optimisations"...
Diffstat (limited to 'isar/isar-syntax.el')
-rw-r--r-- | isar/isar-syntax.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 09ffee34..5f6f548d 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -216,14 +216,14 @@ This list is in the right format for proof-easy-config.") (defconst isar-id (concat "\\(" isar-ext-first isar-ext-rest "*\\)")) (defconst isar-idx (concat isar-id "\\(?:\\.[0-9]+\\)?")) -(defconst isar-string "\"\\(?:\\(?:[^\"]\\|\\\\\"\\)*\\)\"") +(defconst isar-string "\"\\(\\(?:[^\"]\\|\\\\\"\\)*\\)\"") (defconst isar-any-command-regexp (isar-ids-to-regexp isar-keywords-major) "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; surrounding space and contents grouped.") (defconst isar-tac-regexp |