From d4cfabfdc68a98734fc8fb945fa9113078dd97e9 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 1 Oct 1999 11:46:59 +0000 Subject: Renamed some configuration variables for uniformity, see CHANGES. --- lego/lego.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'lego') 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 -- cgit v1.2.3