diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-16 21:43:48 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-16 21:43:48 +0000 |
commit | e3e203869d5e25fab4809d53c3938f067b3a94db (patch) | |
tree | afd60fddf5d0a549876fd4fe0247986c294d213f /generic/proof-splash.el | |
parent | 72f240e63eb57755e618613cad4bb7edbe951a26 (diff) |
Reduce compiler warnings. Minor fixes.
Diffstat (limited to 'generic/proof-splash.el')
-rw-r--r-- | generic/proof-splash.el | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/generic/proof-splash.el b/generic/proof-splash.el index d4fe8695..05208a63 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -8,8 +8,11 @@ ;; ;; -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;; Customization of splash screen (was in proof-config) +(require 'proof-site) + +;; +;; Customization of splash screen +;; (defcustom proof-splash-enable t "*If non-nil, display a splash screen when Proof General is loaded." |