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/proof-script.el | |
| parent | 45b27c9fcc1461f43ccf1c65f8e3f55b6426b8d1 (diff) | |
Fixup name changes
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
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) |