From 7ff53f525376590df0270fcb1368788107fccd67 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 16 Nov 1999 17:06:49 +0000
Subject: Turn debug messages off by default.

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index c7727351..023bbf2f 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -276,7 +276,7 @@ Otherwise the response buffer will accumulate output from the prover."
   :type 'boolean
   :group 'proof-user-options)
 
-(defcustom proof-show-debug-messages t
+(defcustom proof-show-debug-messages nil
   "*Whether to display debugging messages in the response buffer.
 If non-nil, debugging messages are displayed in the response giving
 information about what Proof General is doing.
-- 
cgit v1.2.3