From df1798ff9c879212b718b4f026b439a0beb7eeda Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Oct 1998 15:35:41 +0000
Subject: Added prefixes in custom defgroups.

---
 generic/proof-config.el | 12 ++++++++----
 generic/proof-site.el   |  6 ++++--
 2 files changed, 12 insertions(+), 6 deletions(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 5b422776..1d501da1 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -91,7 +91,8 @@ If ignore, point is never moved after toolbar movement commands."
 
 (defgroup proof-faces nil
   "Faces used by Proof General."
-  :group 'proof)
+  :group 'proof
+  :prefix "proof-")
   
 
 (defface proof-queue-face
@@ -180,7 +181,8 @@ Could come either from proof assistant or Proof General itself."
 
 (defgroup prover-config nil
   "Configuration of Proof General for the prover in use."
-  :group 'proof-internal)
+  :group 'proof-internal
+  :prefix "proof-")
 
 ;; The variables in the "prover-config" (NB: not "proof config"!!)
 ;; customize group are those which are intended to be set by the
@@ -307,7 +309,8 @@ This variable should be set before requiring proof.el"
 
 (defgroup proof-script nil
   "Proof General configuration of scripting buffer mode."
-  :group 'prover-config)
+  :group 'prover-config
+  :prefix "proof-")
 
 
 (defcustom proof-terminal-char nil
@@ -435,7 +438,8 @@ This is used to handle nested goals allowed by some provers."
 
 (defgroup proof-shell nil
   "Settings for output from the proof assistant in the proof shell."
-  :group 'prover-config)
+  :group 'prover-config
+  :prefix "proof-")
 
 
 ;; 
diff --git a/generic/proof-site.el b/generic/proof-site.el
index c11a76c0..0b4eb909 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -21,7 +21,8 @@
 (defgroup proof nil
   "Customization of Proof General."
   :group 'external
-  :group 'processes)
+  :group 'processes
+  :prefix "proof-")
 
 
 ;; This customization group gathers together
@@ -31,7 +32,8 @@
 ;; user-level customization, so this group does
 ;; not belong to 'proof (or any other group).
 (defgroup proof-internal nil
-  "Customization of Proof General internals.")
+  "Customization of Proof General internals."
+  :prefix "proof-")
 
 
 ;; Master table of supported assistants.
-- 
cgit v1.2.3