From 5058cf23b8a892880fd79905d510e587f350759e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 1 Feb 1999 13:34:15 +0000
Subject: Improved docstring

---
 generic/proof-config.el | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 59a85d34..b46f3d08 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -448,10 +448,11 @@ The script buffer's comment-end is set to this string plus a space."
 
 (defcustom proof-case-fold-search nil
   "Value for case-fold-search when recognizing portions of proof scripts.
-If your prover has a case-insensitive syntax, this should be set
-to 't'."
-  :type 'boolean
-  :group 'proof-script)
+The default value is 'nil'.  If your prover has a case *insensitive*
+input syntax, proof-case-fold-search should be set to 't' instead.  
+NB: This setting is not used for matching output from the prover."  
+  :type 'boolean :group
+  'proof-script)
 
 (defcustom proof-save-command-regexp nil 
   "Matches a save command"
-- 
cgit v1.2.3