diff options
| -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/" |