From 3552e19daa8347abe0734332dbb1f0d1394925ab Mon Sep 17 00:00:00 2001 From: Makarius Wenzel Date: Thu, 30 Sep 1999 13:40:48 +0000 Subject: replaced isar-output-font-lock-terms by isar-output-font-lock-keywords-1; --- isar/isar-syntax.el | 25 ++++++++++++------------- 1 file 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 -- cgit v1.2.3