diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-05-12 14:13:31 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-12 14:13:31 +0000 |
commit | 1953104c572613315a71fbc993b789e87d6e8fa8 (patch) | |
tree | 2e582ad1981b3552a9873e33329daeea1bf066f6 /lego | |
parent | 66b0c579a0b1433720b70ebfbdaaaf637fe282d7 (diff) |
Fix note.
Diffstat (limited to 'lego')
-rw-r--r-- | lego/lego.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lego/lego.el b/lego/lego.el index 45c858ef..230393d6 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -8,6 +8,7 @@ ;; (require 'proof) +;;FIXME: proof-script should be autoloaded (require 'proof-script) ;;FIXME: proof-shell should be autoloaded |