From 25ef3ad3da9ea029b3b1a4a9d4a72f4a6641f0cb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 23 Sep 1998 11:08:32 +0000
Subject: Removed history, added branding.

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

diff --git a/coq/coq.el b/coq/coq.el
index 45931ac3..3cefd123 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -14,8 +14,8 @@
 (setq tag-always-exact t) ; Tags is unusable with Coq library otherwise:
 
 (defgroup coq-settings nil
-  "Customization of Coq specific settings for proof mode."
-  :group 'proof)
+  "Customization of Coq specific settings for Proof General."
+  :group 'proof-general)
 
 (defvar coq-assistant "Coq"
   "Name of proof assistant")
-- 
cgit v1.2.3