diff options
| -rw-r--r-- | generic/proof-config.el | 12 |
1 files 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) |