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

---
 lego/lego.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lego/lego.el b/lego/lego.el
index 82ec26ae..90927a37 100644
--- a/lego/lego.el
+++ b/lego/lego.el
@@ -15,8 +15,8 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 (defgroup lego-settings nil
-  "Customization of Lego specifics for proof mode."
-  :group 'proof)
+  "Customization of Lego specifics for Proof General."
+  :group 'proof-general)
 
 ;; I believe this is standard for Linux under RedHat -tms
 (defcustom lego-tags "/usr/lib/lego/lib_Type/"
-- 
cgit v1.2.3