diff options
| author | David Aspinall | 2004-06-17 21:24:33 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-06-17 21:24:33 +0000 |
| commit | 7c2b42201d25fc792efcf8e4091bea5db6ca0cdb (patch) | |
| tree | 54149f36ac9b6108227096a1b3b2b23ae59e6167 | |
| parent | f9b399baf29e5bb638c3c7921dc5471ed2b066c3 (diff) | |
Fix grouping for isar-generic-expression.
| -rw-r--r-- | isar/isar-syntax.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index e9a7a159..88ddd8f6 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -224,7 +224,9 @@ This list is in the right format for proof-easy-config.") (defconst isar-name-regexp (concat "\\s-*\\(" isar-string "\\|" isar-id "\\)\\s-*") - "Regexp matching Isabelle/Isar names; surrounding space and contents grouped.") + "Regexp matching Isabelle/Isar names; surrounding space and contents grouped. +Group number 1 matches the identifier possibly with quotes; group number 2 +matches contents of quotes for quoted identifiers.") (defconst isar-tac-regexp "\\<[A-Za-z][A-Za-z0-9'_]*_tac\\>" @@ -450,7 +452,7 @@ This list is in the right format for proof-easy-config.") (concat "\\<" kw "\\>" "\\(?:\\s-*(\\s-*in[^)]+)\\)?" isar-name-regexp "[[:=]") - 2)) + 1)) isar-keywords-fume)) ;; ----- indentation |