diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 14:27:12 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 14:27:12 +0000 |
| commit | 465c7dab22e41a072ff2544257e3e4d98d91edcd (patch) | |
| tree | 21af51fc53bfc3f9dd237b6ca711502c1baef849 /generic/proof-splash.el | |
| parent | 2143d76242f67b00a3191c611a63218266ec570c (diff) | |
Make proof-splash-extensions defconst instead of defcustom
Diffstat (limited to 'generic/proof-splash.el')
| -rw-r--r-- | generic/proof-splash.el | 8 |
1 files changed, 2 insertions, 6 deletions
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.") |