diff options
| author | Makarius Wenzel | 1999-09-30 13:40:48 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-09-30 13:40:48 +0000 |
| commit | 3552e19daa8347abe0734332dbb1f0d1394925ab (patch) | |
| tree | 44af971b441cff3f9dca3f4dfb2f701f730c8e23 | |
| parent | 60c38f7adc882dc845ce19caa862355a095de142 (diff) | |
replaced isar-output-font-lock-terms by isar-output-font-lock-keywords-1;
| -rw-r--r-- | isar/isar-syntax.el | 25 |
1 files changed, 12 insertions, 13 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 22ab0a14..ede306ce 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -221,19 +221,6 @@ (defconst isabelle-var-name-face 'isabelle-var-name-face) -(defvar isar-output-font-lock-terms - (list - (cons (concat "\351" isar-id "\350") 'isabelle-class-name-face) - (cons (concat "\352'" isar-id "\350") 'isabelle-tfree-name-face) - (cons (concat "\353\\?'" isar-idx "\350") 'isabelle-tvar-name-face) - (cons (concat "\354" isar-id "\350") 'isabelle-free-name-face) - (cons (concat "\355" isar-id "\350") 'isabelle-bound-name-face) - (cons (concat "\356" isar-idx "\350") 'isabelle-var-name-face) - (cons (concat "\357" isar-idx "\350") 'proof-declaration-name-face) - ) - "*Font-lock table for Isabelle terms.") - - (defvar isar-font-lock-keywords-1 (list (cons (proof-ids-to-regexp isar-keywords-minor) 'font-lock-type-face) @@ -246,6 +233,18 @@ (cons (proof-ids-to-regexp isar-keywords-proof-asm) 'proof-declaration-name-face) (cons (proof-ids-to-regexp isar-keywords-proof-script) 'font-lock-reference-face))) +(defvar isar-output-font-lock-keywords-1 + (list + (cons (concat "\351" isar-id "\350") 'isabelle-class-name-face) + (cons (concat "\352'" isar-id "\350") 'isabelle-tfree-name-face) + (cons (concat "\353\\?'" isar-idx "\350") 'isabelle-tvar-name-face) + (cons (concat "\354" isar-id "\350") 'isabelle-free-name-face) + (cons (concat "\355" isar-id "\350") 'isabelle-bound-name-face) + (cons (concat "\356" isar-idx "\350") 'isabelle-var-name-face) + (cons (concat "\357" isar-idx "\350") 'proof-declaration-name-face) + ) + "*Font-lock table for Isabelle terms.") + ;; ----- variations on undo |