From 61d9c027682d2e61e5441447e6773673352bccc2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 May 2001 16:05:02 +0000
Subject: Move autoloads loads to proof-site, invoke (proof-splash-message)

---
 generic/proof.el | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/generic/proof.el b/generic/proof.el
index 93eac0c4..44645896 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -11,16 +11,12 @@
 ;;
 
 (require 'proof-site)			; site config
-(require 'proof-autoloads)		; autoloaded functions
 (require 'proof-compat)			; Emacs and OS compatibility
 (require 'proof-utils)			; utilities
 (require 'proof-config)			; configuration variables
 
 
-(if (and proof-splash-enable
-	 (not (noninteractive)))
-    (proof-splash-display-screen t))	; display splash
-
+(proof-splash-message)                  ; welcome the user now.
 
 ;;;
 ;;; Extra autoloads that aren't automatic 
-- 
cgit v1.2.3