From 9163e1bdfbac3150fa5c74050329cd2fab47a3f3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 3 Sep 1998 15:29:03 +0000
Subject: Requires proof-site.

---
 generic/proof.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof.el b/generic/proof.el
index c37f863b..df0f8e8e 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -8,10 +8,13 @@
 ;;           James McKinna, Mark Ruys, Martin Steffen, Perdita Stevens  
 
 
+(require 'proof-site)
+
+; FIXME: I think some of these should be autoloaded (etags,...)
 (require 'cl)
 (require 'compile)
 (require 'comint)
-(require 'etags)
+(require 'etags)			
 (cond ((fboundp 'make-extent) (require 'span-extent))
       ((fboundp 'make-overlay) (require 'span-overlay))
       (t nil))
-- 
cgit v1.2.3