Added proof-find-theorems-command setting.

1 files changed, 10 insertions, 0 deletions

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 13f0e3ee..0a1f9fae 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -458,6 +458,16 @@ insert when called interactively."
   :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."
+  :type '(choice string function)
+  :group 'prover-config)
+
+
+
 
 
 ;;