diff options
| author | David Aspinall | 2003-08-28 16:28:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-08-28 16:28:23 +0000 |
| commit | eff6c3c77810a11fa916860cf10c0f2fab60a5bf (patch) | |
| tree | bd18b913d6370c18fbf12382cc9ed93c9c4ce3fd | |
| parent | 80bed3f302f77296fc8e82e24613b39fd543f240 (diff) | |
Fix from Sebastian Skalberg <skalberg@in.tum.de>
| -rw-r--r-- | isar/isar-syntax.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 81dd22ef..336305b0 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -192,8 +192,9 @@ ; l "\\|")) (defconst isar-long-id-stuff "\\(?:[A-Za-z0-9'_.]+\\)") +(defconst isar-ext-letter "\\(?:\\\\<[A-Za-z]+>\\|[A-Za-z]\\)") -(defconst isar-id "\\(?:[A-Za-z][A-Za-z0-9'_]*\\)") +(defconst isar-id (concat "\\(?:" isar-ext-letter "+\\)")) (defconst isar-idx (concat isar-id "\\(?:\\.[0-9]+\\)?")) (defconst isar-string "\"\\(?:\\(?:[^\"]\\|\\\\\"\\)*\\)\"") @@ -319,7 +320,7 @@ (cons (isar-ids-to-regexp isar-keywords-theory-enclose) 'font-lock-preprocessor-face) (cons (isar-ids-to-regexp isar-keywords-theory) 'font-lock-keyword-face) (cons (isar-ids-to-regexp isar-keywords-proof-enclose) 'font-lock-preprocessor-face) - (cons (isar-ids-to-regexp isar-keywords-proof) 'font-lock-keyword-face) + (cons (isar-ids-to-regexp isar-keywords-proof) 'font-lock-keyword-face) (cons (isar-ids-to-regexp isar-keywords-proof-context) 'proof-declaration-name-face) (cons (isar-ids-to-regexp isar-keywords-improper) 'font-lock-reference-face) (cons isar-tac-regexp 'font-lock-reference-face) |