From e03a4d39d7a3c769e8384580829a697a65d1e3cf Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 12 Oct 1998 12:32:54 +0000
Subject: Removed proof-internal cus grp from proof group.

---
 generic/proof-site.el | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-site.el b/generic/proof-site.el
index bf34cbc7..eda5261c 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -22,12 +22,17 @@
   :group 'processes)
 
 
-;; Master table of supported assistants.
-
+;; This customization group gathers together
+;; the internals of Proof General which control
+;; configuration to different proof assistants.
+;; This is for development purposes rather than
+;; user-level customization, so this group does
+;; not belong to 'proof (or any other group).
 (defgroup proof-internal nil
-  "Customization of Proof General internals."
-  :group 'proof)
+  "Customization of Proof General internals.")
 
+
+;; Master table of supported assistants.
 (defcustom proof-internal-assistant-table
   '((isa	"Isabelle"	"\\.ML$\\|\\.thy$")
     (lego	"LEGO"		"\\.l$")
-- 
cgit v1.2.3