diff options
-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 |