diff options
| author | David Aspinall | 1999-10-01 18:36:01 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-01 18:36:01 +0000 |
| commit | 275d38ca5a77ae960504ce9af55d4c0cdf9174d6 (patch) | |
| tree | cc057ba43348afa39c0e0b434cd04672d616fa35 /generic | |
| parent | 45b27c9fcc1461f43ccf1c65f8e3f55b6426b8d1 (diff) | |
Fixup name changes
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) |