diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-10-01 11:46:59 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-01 11:46:59 +0000 |
commit | d4cfabfdc68a98734fc8fb945fa9113078dd97e9 (patch) | |
tree | 3344743ccf26d29fc554b42dd05336bfd0fe4cd6 /lego | |
parent | 9985c079f54f45020bdd5582b120ad0283a99b60 (diff) |
Renamed some configuration variables for uniformity, see CHANGES.
Diffstat (limited to 'lego')
-rw-r--r-- | lego/lego.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lego/lego.el b/lego/lego.el index a8b5276e..5930f501 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -349,11 +349,11 @@ Checks the width in the `proof-goals-buffer'" (setq proof-mode-for-script 'lego-mode) - (setq proof-prf-string "Prf" + (setq proof-proof-command "Prf" proof-goal-command "Goal %s;" proof-save-command "Save %s;" - proof-ctxt-string "Ctxt" - proof-help-string "Help") + proof-context-command "Ctxt" + proof-info-command "Help") (setq proof-goal-command-p 'lego-goal-command-p proof-count-undos-fn 'lego-count-undos |