From 0211853c6c1bed1ad8e9f6d5a7706e8bda923a14 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 12 Nov 1999 01:11:33 +0000
Subject: Display qed message in goals buffer

---
 isa/isa.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/isa/isa.el b/isa/isa.el
index 03cfaf22..5c373368 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -208,6 +208,7 @@ no regular or easily discernable structure."
    ;; annotations, see isa-output-font-lock-keywords-1
    proof-shell-leave-annotations-in-output t
 
+   proof-goals-display-qed-message	t
 
    ;; === ANNOTATIONS  === ones here are broken
    proof-shell-result-start	        "\372 Pbp result \373"
-- 
cgit v1.2.3