diff options
author | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-11-02 12:41:30 +0000 |
---|---|---|
committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-11-02 12:41:30 +0000 |
commit | d6ff63eac2e02856b2031aafb23a75f17256b631 (patch) | |
tree | 11f3a5926ec17a8d7d0aad09cf17679f73ac797b /lego | |
parent | c25e3c1a1c3c12a81f90b0a20321ca9734634032 (diff) |
fixed minor bugs
Diffstat (limited to 'lego')
-rw-r--r-- | lego/lego.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lego/lego.el b/lego/lego.el index a1c5b234..72b81f0b 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -11,6 +11,8 @@ (require 'proof) (require 'proof-script) + +;;FIXME: proof-shell should be autoloaded (require 'proof-shell) (require 'lego-syntax) |