aboutsummaryrefslogtreecommitdiffhomepage
path: root/lego
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1998-10-12 15:41:42 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1998-10-12 15:41:42 +0000
commitcfff5f3e4683486fae85cf58cf65479215b64234 (patch)
tree563291186365c4f99fce71d0c84b90f99d670688 /lego
parentcde00ec1817a56780c3b7c886a0956b03092bce1 (diff)
Removed setq proof-assistant
Diffstat (limited to 'lego')
-rw-r--r--lego/lego.el1
1 files changed, 0 insertions, 1 deletions
diff --git a/lego/lego.el b/lego/lego.el
index 5b830042..ea4a51f2 100644
--- a/lego/lego.el
+++ b/lego/lego.el
@@ -11,7 +11,6 @@
(require 'lego-syntax)
(require 'outline)
-(setq proof-assistant "LEGO")
(require 'proof)
;;;;;;;;;;;;;;;;;;;;;;;;;;