From 1953104c572613315a71fbc993b789e87d6e8fa8 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 12 May 2000 14:13:31 +0000 Subject: Fix note. --- lego/lego.el | 1 + 1 file changed, 1 insertion(+) (limited to 'lego') 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 -- cgit v1.2.3