diff options
| author | David Aspinall | 2010-08-03 19:16:35 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-03 19:16:35 +0000 |
| commit | f2474d60020c4904de7bb58a53275e7f8d42ec74 (patch) | |
| tree | 5f6ae33abb16a207412c0c07c7b4661eb6268d11 /generic | |
| parent | 8c8086c8c50a4f68aa429091f7d3b3e31e97bb34 (diff) | |
Temporarily disable splash
Diffstat (limited to 'generic')
| -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) |