diff options
| -rw-r--r-- | generic/proof-splash.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-splash.el b/generic/proof-splash.el index 9aa88437..f8f88f3e 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -14,7 +14,7 @@ ;; Customization of splash screen ;; -(defcustom proof-splash-enable t +(defcustom proof-splash-enable nil "*If non-nil, display a splash screen when Proof General is loaded." :type 'boolean :group 'proof-user-options) |