diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-04-07 13:46:18 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-04-07 13:46:18 +0000 |
commit | 8194bdb86647cc5f2462deee358938bf676231d6 (patch) | |
tree | c8a73efb6c92325cbe6aa243860c2954a423bbbf /hol98 | |
parent | 91ce5d54ca9e53351e2bfcb7355fc890d9488da0 (diff) |
Decoration tweaks
Diffstat (limited to 'hol98')
-rw-r--r-- | hol98/hol98.el | 15 |
1 files changed, 7 insertions, 8 deletions
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. ) |