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

---
 generic/proof-shell.el | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'generic/proof-shell.el')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 6e41ff6f..961466b7 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -227,14 +227,6 @@ Does nothing if proof assistant is already running."
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 
-(defvar pbp-goal-command nil
-  "Command informing the prover that `pbp-button-action' has been
-  requested on a goal.")
-
-(defvar pbp-hyp-command nil
-  "Command informing the prover that `pbp-button-action' has been
-  requested on an assumption.")
-
 (defun pbp-button-action (event)
    (interactive "e")
    (mouse-set-point event)
-- 
cgit v1.2.3