diff options
| author | David Aspinall | 1999-10-01 11:46:59 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-01 11:46:59 +0000 |
| commit | d4cfabfdc68a98734fc8fb945fa9113078dd97e9 (patch) | |
| tree | 3344743ccf26d29fc554b42dd05336bfd0fe4cd6 /generic/proof-script.el | |
| parent | 9985c079f54f45020bdd5582b120ad0283a99b60 (diff) | |
Renamed some configuration variables for uniformity, see CHANGES.
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. |