diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-22 17:26:09 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-22 17:26:09 +0000 |
| commit | d60b01b3a2b5ce894fffe69ff892bab71ad23c2f (patch) | |
| tree | 7bc65416f60142bf04fc2a81c7f4c23074dd85b7 /generic | |
| parent | d4208389e88a21a22dac9eb464635a53822edaff (diff) | |
Fix a couple of group names, and comments at top of file.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 8 |
1 files 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) ;; <Prover name> : 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) ;; <Prover name>-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 |