From b14cbb54fedf45d725cfaba914e98e4a282fc01e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Sep 2009 23:52:55 +0000
Subject: Default to disabling minibuffer messages

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

(limited to 'generic')

diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el
index 515bffcf..fda3b58d 100644
--- a/generic/proof-useropts.el
+++ b/generic/proof-useropts.el
@@ -370,7 +370,7 @@ with full details."
   :type 'boolean
   :group 'proof-user-options)
 
-(defcustom proof-minibuffer-messages t
+(defcustom proof-minibuffer-messages nil
   "*Non-nil causes Proof General to issue minibuffer messages.
 Minibuffer messages are issed when urgent messages are seen
 from the prover.  You can disable the display of these if they
-- 
cgit v1.2.3