diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 2 | ||||
| -rw-r--r-- | generic/proof-script.el | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 2a563855..72c6d3cc 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -447,7 +447,7 @@ command line options. For an example, see coq/coq.el." :type 'string :group 'prover-config) -(defcustom proof-proof-command "" +(defcustom proof-showproof-command "" "Command to display proof state in proof assistant." :type 'string :group 'prover-config) diff --git a/generic/proof-script.el b/generic/proof-script.el index a3f0498e..231368cb 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1510,7 +1510,7 @@ Start up the proof assistant if necessary." (proof-define-assistant-command proof-prf "Show the current proof state." - proof-proof-command) + proof-showproof-command) (proof-define-assistant-command proof-ctxt "Show the current context." proof-context-command) |