From d60b01b3a2b5ce894fffe69ff892bab71ad23c2f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 22 Nov 1999 17:26:09 +0000 Subject: Fix a couple of group names, and comments at top of file. --- generic/proof-config.el | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/generic/proof-config.el b/generic/proof-config.el index 39b0b3d4..df36df85 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -44,10 +44,12 @@ ;; proof-user-options : User options for Proof General (1) ;; : User options for proof assistant ;; -;; proof-general-internals : Internal settings of Proof General (6) +;; proof-general-internals : Internal settings of Proof General ;; prover-config : Configuration for proof assistant (2,3) ;; proof-script : settings for proof script mode (4) ;; proof-shell : settings for proof shell mode (5) +;; proof-goals : settings for goals buffer (6) +;; proof-x-symbol : settings for X-Symbol (8) ;; -config : Specific internal settings for a prover ;; ;; ================================================== @@ -1618,7 +1620,7 @@ If it is nil, a new line is inserted." "Prover specific extensions of splash screen. These are evaluated and appended to `proof-splash-contents'." :type 'sexp - :group 'proof-config) + :group 'prover-config) @@ -1628,7 +1630,7 @@ These are evaluated and appended to `proof-splash-contents'." (defgroup proof-x-symbol nil "Configuration of X-Symbol for Proof General." - :group 'proof + :group 'prover-config :prefix "proof-xsym-") (defcustom proof-xsym-extra-modes nil -- cgit v1.2.3