From e839ded48231aeb8c72160e72aeadde3eb939002 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 24 Sep 2001 10:35:56 +0000
Subject: Fix error in docs of stop-silent-command, and name of
 pre-shell-start-hook.

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 9b87945c..5af17f65 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -596,21 +596,21 @@ Warning messages can come from proof assistant or from Proof General itself."
 (defcustom proof-mode-for-shell 'proof-shell-mode
   "Mode for proof shell buffers.
 Usually customised for specific prover.
-Suggestion: this can be set a function called by `pre-shell-start-hook'."
+Suggestion: this can be set a function called by `proof-pre-shell-start-hook'."
   :type 'function
   :group 'prover-config)
 
 (defcustom proof-mode-for-response 'proof-response-mode
   "Mode for proof response buffer.
 Usually customised for specific prover.
-Suggestion: this can be set a function called by `pre-shell-start-hook'."
+Suggestion: this can be set a function called by `proof-pre-shell-start-hook'."
   :type 'function
   :group 'prover-config)
 
 (defcustom proof-mode-for-goals 'proof-goals-mode
   "Mode for proof state display buffers.
 Usually customised for specific prover.
-Suggestion: this can be set a function called by `pre-shell-start-hook'."
+Suggestion: this can be set a function called by `proof-pre-shell-start-hook'."
   :type 'function
   :group 'prover-config)
 
@@ -1481,7 +1481,7 @@ NB: terminator not added to command."
   :group 'proof-shell)
 
 (defcustom proof-shell-stop-silent-cmd nil
-  "Command to turn prover output off.  
+  "Command to turn prover output on.  
 If non-nil, Proof General will automatically issue this command
 to help speed up processing of long proof scripts.  
 See also proof-shell-start-silent-cmd.
-- 
cgit v1.2.3