From a297dd51247d7a8cf6c2e4f0314dd84932642e3a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 23 Sep 1999 17:37:20 +0000
Subject: Docstrings

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 0a1f9fae..aa6294ed 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -445,24 +445,24 @@ command line options.  For an example, see coq/coq.el."
 (defcustom proof-goal-command nil
   "Command to set a goal in the proof assistant.  String or fn.
 If a string, the format character `%s' will be replaced by the
-goal string. If a function, should return a command string to
-insert when called interactively."
+goal string. 
+If a function, it should return the command string to insert."
   :type '(choice string function)
   :group 'prover-config)
 
 (defcustom proof-save-command nil
   "Command to save a proved theorem in the proof assistant.  String or fn.
 If a string, the format character `%s' will be replaced by the
-theorem name. If a function, should return a command string to
-insert when called interactively."
+theorem name. 
+If a function, it should return the command string to insert."
   :type '(choice string function)
   :group 'prover-config)
 
 (defcustom proof-find-theorems-command nil
   "Command to search for a theorem containing a given constant. String or fn.
 If a string, the format character `%s' will be replaced by the
-constant name. If a function, should return a command string to
-insert when called interactively."
+constant name.
+If a function, it should return the command string to insert."
   :type '(choice string function)
   :group 'prover-config)
 
-- 
cgit v1.2.3