From ac6a40fd23e93c24f5af3762231afdbe61f611ef Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 8 Nov 1999 18:34:47 +0000
Subject: docstring

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

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 337a04e8..d12977e7 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -295,7 +295,7 @@ Otherwise the response buffer will accumulate output from the prover."
 If non-nil, debugging messages are displayed in the response giving
 information about what Proof General is doing.
 To avoid erasing the messages shortly after they're printed, 
-you should disable `proof-tidy-response'."
+you should set `proof-tidy-response' to nil."
   :type 'boolean
   :group 'proof-user-options)
 
-- 
cgit v1.2.3