aboutsummaryrefslogtreecommitdiffhomepage
path: root/lego/lego.el
diff options
context:
space:
mode:
Diffstat (limited to 'lego/lego.el')
-rw-r--r--lego/lego.el6
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