From eff6c3c77810a11fa916860cf10c0f2fab60a5bf Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 28 Aug 2003 16:28:23 +0000 Subject: Fix from Sebastian Skalberg --- isar/isar-syntax.el | 5 +++-- 1 file 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) -- cgit v1.2.3