From 465c7dab22e41a072ff2544257e3e4d98d91edcd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 14:27:12 +0000
Subject: Make proof-splash-extensions defconst instead of defcustom

---
 generic/proof-splash.el | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

(limited to 'generic/proof-splash.el')

diff --git a/generic/proof-splash.el b/generic/proof-splash.el
index fe84ef57..a5b05e79 100644
--- a/generic/proof-splash.el
+++ b/generic/proof-splash.el
@@ -56,17 +56,13 @@ If it is nil, a new line is inserted."
   :type 'sexp
   :group 'proof-general-internals)
 
-(defcustom proof-splash-extensions 
+(defconst proof-splash-extensions 
   (if (featurep 'proof-config) nil
     ;; Display additional hint if we guess we're being loaded
     ;; by shell script rather than find-file.
     '(list
       "To start using Proof General, visit a proof script file"
-      "for your prover, using C-x C-f or the \"File\" menu."))
-    "Prover specific extensions of splash screen.
-These are evaluated and appended to `proof-splash-contents'."
-    :type 'sexp
-    :group 'prover-config)
+      "for your prover, using C-x C-f or the \"File\" menu.")))
 
 (defconst proof-splash-welcome "*Proof General Welcome*"
   "Name of the Proof General splash buffer.")
-- 
cgit v1.2.3