From fc9af819f6faa4214c376f74a14e4db45178c921 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 27 Oct 1998 15:18:28 +0000
Subject: Moved pbp-goal-command and pbp-hyp-command to proof-config.Moved LEGO
 specifix.

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

(limited to 'lego')

diff --git a/lego/lego.el b/lego/lego.el
index 2ea0594e..3a6fe5d4 100644
--- a/lego/lego.el
+++ b/lego/lego.el
@@ -404,6 +404,10 @@
 
   (lego-init-syntax-table)
 
+  ;; da: I've moved these out of proof-config-done in proof-script.el 
+  (setq pbp-goal-command (concat "Pbp %s" proof-terminal-string))
+  (setq pbp-hyp-command (concat "PbpHyp %s" proof-terminal-string))
+
   (proof-config-done)
 
   (define-key (current-local-map) [(control c) ?i] 'lego-intros)
-- 
cgit v1.2.3