diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-09-23 11:11:03 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-09-23 11:11:03 +0000 |
commit | e65a080cdd72b7d52af2f765c493523301fd19a9 (patch) | |
tree | a9fd816a7d4d5239368070136b4356a029b71d49 /lego | |
parent | 65b9bef3869aac3ecb7f70d776f8aea137e42367 (diff) |
Changed customization group name
Diffstat (limited to 'lego')
-rw-r--r-- | lego/lego.el | 4 |
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/" |