From 8194bdb86647cc5f2462deee358938bf676231d6 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 7 Apr 2000 13:46:18 +0000 Subject: Decoration tweaks --- hol98/hol98.el | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) (limited to 'hol98') diff --git a/hol98/hol98.el b/hol98/hol98.el index 98dce6d0..937cbb87 100644 --- a/hol98/hol98.el +++ b/hol98/hol98.el @@ -136,18 +136,17 @@ (list (cons (proof-ids-to-regexp '("Proof manager status" "proof" "Incomplete" - "Initial goal proved." + "Initial goal proved" "Initial goal" - "There are currently no proofs." - "OK..")) + "There are currently no proofs" + "OK")) 'font-lock-keyword-face) (cons (regexp-quote "------------------------------------") 'font-lock-comment-face) - (cons (proof-ids-to-regexp '(": GoalstackPure.goalstack" - ": GoalstackPure.proofs" - "val it =")) - 'proof-boring-face)) - + (cons ": GoalstackPure.goalstack" 'proof-boring-face) + (cons ": GoalstackPure.proofs" 'proof-boring-face) + (cons ": Thm.thm" 'proof-boring-face) + (cons "val it =" 'proof-boring-face)) ;; End of easy config. ) -- cgit v1.2.3