diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-09-23 11:20:43 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-09-23 11:20:43 +0000 |
commit | fe098f0ad92547faf9d39a0ddfa10fb529ea02fc (patch) | |
tree | 3756952f3638bbc360b850e636b9ee19331553dd | |
parent | 98d13c2e0caffffb61fbb1d2d2d1ad41d585cf4f (diff) |
Changed customization group name
-rw-r--r-- | generic/proof-toolbar.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 |