diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 23:52:55 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 23:52:55 +0000 |
commit | b14cbb54fedf45d725cfaba914e98e4a282fc01e (patch) | |
tree | 4c51a0861176bca72df8743ec01779626195e72e /generic/proof-useropts.el | |
parent | c666c280b3c8204226be7cc8b89c24095decd851 (diff) |
Default to disabling minibuffer messages
Diffstat (limited to 'generic/proof-useropts.el')
-rw-r--r-- | generic/proof-useropts.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 |