diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 10 |
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) + + + ;; |