diff options
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." |