diff options
Diffstat (limited to 'hol98/hol98.el')
| -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. ) |