diff options
Diffstat (limited to 'generic/proof-splash.el')
| -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 110b4b71..80b03432 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -43,7 +43,7 @@ Gif filename depends on colour depth of display." nil "*Non-nil prevents splash screen display when Proof General is loaded." :type 'boolean - :group 'proof) + :group 'proof-general) (defcustom proof-splash-extensions nil "*Prover specific extensions of splash screen. |