From 0a42eb29804f7e384a6f1c406b8811c8a50a4692 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Oct 1998 12:17:40 +0000
Subject: Begun work on clean byte compilation / clarifying interfaces.

---
 coq/coq.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'coq')

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
-- 
cgit v1.2.3