From 7099e2d874e58c6a68685e1d328426cccc346b8e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 7 Sep 2009 22:26:03 +0000
Subject: Remove load order tweak experiment

---
 generic/proof.el | 18 ++++++------------
 1 file changed, 6 insertions(+), 12 deletions(-)

diff --git a/generic/proof.el b/generic/proof.el
index 59fa03c3..804ba0f2 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -22,20 +22,14 @@
 ;;
 ;;; Code:
 
-(eval-when-compile
-  (require 'cl))
+(require 'proof-site)			; site/prover config, global vars, autoloads
+(require 'proof-compat)			; Emacs and OS compatibility
+(require 'proof-utils)			; utilities
+(require 'proof-config)			; configuration variables
 
-(eval-when (eval load compile)
-  (require 'proof-site)	  ; site/prover config, global vars, autoloads
-  (require 'proof-compat) ; Emacs and OS compatibility
-  (require 'proof-utils)  ; utilities
-  (require 'proof-config) ; configuration variables
+(proof-splash-message)			; welcome the user now.
 
-  (unless noninteractive
-    (proof-splash-message))		; welcome the user now. 
-
-  (require 'proof-auxmodes)		; Further autoloads
-)
+(require 'proof-auxmodes)		; Further autoloads
 
 (provide 'proof)
 ;;; proof.el ends here
-- 
cgit v1.2.3