diff options
| author | David Aspinall | 2004-06-16 16:04:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-06-16 16:04:36 +0000 |
| commit | 88fcac71288ef05964511af28a0f0807dfac45d7 (patch) | |
| tree | cb5aa0f910a744c6e7070b4bbb7571fba179eaf3 | |
| parent | 1a6112941c545e2019bdbd399d884581fb2f3d8c (diff) | |
Continue the grouping bug fix.
| -rw-r--r-- | isar/isar-syntax.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 5f6f548d..e9a7a159 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -223,7 +223,7 @@ This list is in the right format for proof-easy-config.") "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 @@ -438,7 +438,7 @@ This list is in the right format for proof-easy-config.") (defconst isar-next-entity-regexps (list isar-any-entity-regexp - (list isar-named-entity-regexp '(1 2)))) + (list isar-named-entity-regexp '(1 3)))) ;; da: I've removed unnamed entities, they clutter the menu ;; NB: to add back, need ? at end of isar-any-entity-regexp ;; (list isar-unnamed-entity-regexp 1))) @@ -450,7 +450,7 @@ This list is in the right format for proof-easy-config.") (concat "\\<" kw "\\>" "\\(?:\\s-*(\\s-*in[^)]+)\\)?" isar-name-regexp "[[:=]") - 1)) + 2)) isar-keywords-fume)) ;; ----- indentation |