From 00b7706d4bb5f285e0efbca031e27b4bcf36aa50 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Fri, 2 Oct 1998 13:28:05 +0000
Subject: added LEGO support for proof-goal-command and proof-save-command

---
 lego/lego.el | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lego')

diff --git a/lego/lego.el b/lego/lego.el
index 372d779d..de053166 100644
--- a/lego/lego.el
+++ b/lego/lego.el
@@ -392,6 +392,8 @@
 	proof-www-home-page lego-www-home-page)
 
   (setq proof-prf-string "Prf"
+	proof-goal-command "Goal %s;"
+	proof-save-command "Save %s;"
 	proof-ctxt-string "Ctxt"
 	proof-help-string "Help")
 
-- 
cgit v1.2.3