From e0e7e40ab33ba12033834a83839d1333f7b229a8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 21 Oct 1998 10:14:44 +0000
Subject: Changed fset to setq, removed retract-command mention (for now?).

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

diff --git a/lego/lego.el b/lego/lego.el
index 73a88e59..94d5f82c 100644
--- a/lego/lego.el
+++ b/lego/lego.el
@@ -514,8 +514,10 @@ We assume that module identifiers coincide with file names."
 	;;the response, the goal buffer and the script
 	font-lock-keywords lego-font-lock-keywords-1)
 
-  (fset 'proof-retract-command 'lego-retract-command)
-  (fset 'proof-shell-compute-new-files-list
+;; FIXME: da: I've removed this, I think fset is bad and proof-retract-command
+;; doesn't seem to exist.
+;;  (fset 'proof-retract-command 'lego-retract-command)
+  (setq proof-shell-compute-new-files-list 
 	'lego-shell-compute-new-files-list)
 
   (lego-init-syntax-table)
-- 
cgit v1.2.3