aboutsummaryrefslogtreecommitdiffhomepage
path: root/lego
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1998-09-23 11:11:03 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1998-09-23 11:11:03 +0000
commite65a080cdd72b7d52af2f765c493523301fd19a9 (patch)
treea9fd816a7d4d5239368070136b4356a029b71d49 /lego
parent65b9bef3869aac3ecb7f70d776f8aea137e42367 (diff)
Changed customization group name
Diffstat (limited to 'lego')
-rw-r--r--lego/lego.el4
1 files 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/"