From fe098f0ad92547faf9d39a0ddfa10fb529ea02fc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 23 Sep 1998 11:20:43 +0000
Subject: Changed customization group name

---
 generic/proof-toolbar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 6a8dc9f0..6e9bd299 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -12,7 +12,7 @@
 (defcustom proof-toolbar-wanted t
   "*Whether to use toolbar in proof mode."
   :type 'boolean
-  :group 'proof)
+  :group 'proof-general)
 
 (defconst proof-toolbar-bare-button-list
   '(proof-toolbar-goal-button
-- 
cgit v1.2.3