diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index e6938743..a3f0498e 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1510,14 +1510,14 @@ Start up the proof assistant if necessary." (proof-define-assistant-command proof-prf "Show the current proof state." - proof-prf-string) + proof-proof-command) (proof-define-assistant-command proof-ctxt "Show the current context." - proof-ctxt-string) + proof-context-command) (proof-define-assistant-command proof-help "Show a help or information message from the proof assistant. Typically, a list of syntax of commands available." - proof-help-string) + proof-info-command) ;; ;; Commands which require an argument, and maybe affect the script. |