From 1d3842f87c31e536efe0c977c70fab478195126d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 7 Apr 2000 14:24:47 +0000
Subject: Generalisation of proof-info-command to string or fn.

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 717705b0..874a53fc 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -648,8 +648,10 @@ Used for Proof General's help menu."
   :group 'prover-config)
 
 (defcustom proof-info-command nil
-  "Command to ask for help or information in the proof assistant."
-  :type 'string
+  "Command to ask for help or information in the proof assistant.
+String or fn.  If a string, the command to use. 
+If a function, it should return the command string to insert."
+  :type '(choice string function)
   :group 'prover-config)
 
 (defcustom proof-showproof-command nil
@@ -674,9 +676,8 @@ If a function, it should return the command string to insert."
   :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.
+  "Command to search for a theorem containing a given term. String or fn.
+If a string, the format character `%s' will be replaced by the term.
 If a function, it should return the command string to insert."
   :type '(choice string function)
   :group 'prover-config)
-- 
cgit v1.2.3