diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-10-12 15:41:42 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-12 15:41:42 +0000 |
commit | cfff5f3e4683486fae85cf58cf65479215b64234 (patch) | |
tree | 563291186365c4f99fce71d0c84b90f99d670688 /lego | |
parent | cde00ec1817a56780c3b7c886a0956b03092bce1 (diff) |
Removed setq proof-assistant
Diffstat (limited to 'lego')
-rw-r--r-- | lego/lego.el | 1 |
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) ;;;;;;;;;;;;;;;;;;;;;;;;;; |