Begun work on clean byte compilation / clarifying interfaces.

1 files changed, 3 insertions, 1 deletions

diff --git a/coq/coq.el b/coq/coq.el
index 73f58af9..17bb6d6b 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -6,9 +6,11 @@
 
 ;; $Id$
 
+(require 'proof)
 (require 'coq-syntax)
+
+;; FIXME: outline and info should be autoloaded.
 (require 'outline)
-(require 'proof)
 (require 'info)
 
 ; Configuration