diff options
| -rw-r--r-- | generic/proof-config.el | 12 | ||||
| -rw-r--r-- | 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. |