From 8bd03df8e31865faea084e5ec8a7db2db14e5037 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 20 Oct 1998 13:13:17 +0000
Subject: Changed minibuffer tag to have name of prover instead of Proof

---
 generic/proof.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof.el b/generic/proof.el
index 8bb92e80..df93defe 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -650,7 +650,7 @@ is resynchronised. It contains files in canonical truename format")
 
 (defun proof-message (str)
   "Output STR in minibuffer."
-  (message (concat "[Proof] " str)))
+  (message (concat "[" proof-assistant "] " str)))
 
 ;; append-element in tl-list
 (defun proof-append-element (ls elt)
-- 
cgit v1.2.3