From ff4011ea21dee63ffe62be170c16a58f7b011b87 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 7 Sep 2009 09:19:59 +0000
Subject: Requires processed more often (experiment)

---
 generic/proof.el | 20 +++++++++++++-------
 1 file changed, 13 insertions(+), 7 deletions(-)

diff --git a/generic/proof.el b/generic/proof.el
index af065f89..59fa03c3 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -1,6 +1,6 @@
 ;;; proof.el --- Proof General loader.
 ;;
-;; Copyright (C) 1998-2008 LFCS Edinburgh.
+;; Copyright (C) 1998-2009 LFCS Edinburgh.
 ;; Authors:   David Aspinall, Yves Bertot, Healfdene Goguen,
 ;;            Thomas Kleymann and Dilip Sequeira
 ;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
@@ -22,14 +22,20 @@
 ;;
 ;;; Code:
 
-(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-compile
+  (require 'cl))
 
-(proof-splash-message)			; welcome the user now.
+(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
 
-(require 'proof-auxmodes)		; Further autoloads
+  (unless noninteractive
+    (proof-splash-message))		; welcome the user now. 
+
+  (require 'proof-auxmodes)		; Further autoloads
+)
 
 (provide 'proof)
 ;;; proof.el ends here
-- 
cgit v1.2.3