diff options
| author | David Aspinall | 1999-10-06 10:44:39 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-06 10:44:39 +0000 |
| commit | 59671e6efc4992445fe8ce4e05f70470828b3d64 (patch) | |
| tree | d72032639009c54d3783a5aba079c1e073fadd4e /generic/proof-config.el | |
| parent | a002dbc150cd76d6cb9cdbaba17f129e3b5bc001 (diff) | |
proof-try-command is deprecated
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 6b370382..64eae290 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -715,7 +715,9 @@ This is used to handle nested goals allowed by some provers." :group 'proof-script) (defcustom proof-state-preserving-p nil - "A predicate, non-nil if its argument (a command) preserves the proof state." + "A predicate, non-nil if its argument (a command) preserves the proof state. +If set, used by proof-execute-minibuffer-cmd to filter out scripting +commands which should be entered directly into the script itself." :type 'function :group 'proof-script) |