diff options
| author | David Aspinall | 1998-11-03 14:43:45 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-03 14:43:45 +0000 |
| commit | d152a13a2f5ec4461adc2f3ae7860dde2a45dfcd (patch) | |
| tree | 77486ed0ce08aded1764dd6f472cd61bb38e3522 /generic/proof-splash.el | |
| parent | 49f3a2d24ff4dc71b20669d595b513b6d31e1f43 (diff) | |
Customization group and type fixes
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. |