diff options
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) |