diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-10-29 18:27:23 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-29 18:27:23 +0000 |
commit | e4d45159400b1e622dbe4278c8fb9e9831d04334 (patch) | |
tree | 8a3653ab26d791c319366bc183581e9222a20ab6 | |
parent | 98a7850c2c60a6da95dff5724437aa7d6fc6d1d4 (diff) |
Added automatic <prover>-config customize group
-rw-r--r-- | generic/proof-site.el | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 8e775c70..4dc0bc47 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -170,6 +170,8 @@ NOTE: to change proof assistant, you must start a new Emacs session.") (proofgen-mode (intern (concat sname "-mode"))) ;; NB: Customization group for each prover is its l.c.'d name! (cusgrp (intern (downcase assistant-name))) + (cus-internals (intern (concat (downcase assistant-name) + "-config"))) ;; Stub to do some automatic initialization and load ;; the specific code. @@ -182,9 +184,16 @@ NOTE: to change proof assistant, you must start a new Emacs session.") (interactive) ;; Make a customization group for this assistant (defgroup ,cusgrp nil - ,(concat "Customization of " assistant-name - " specific settings for Proof General.") + ,(concat "Customization of user options for " assistant-name + " Proof General.") :group 'proof-general) + ;; And another one for internals + (defgroup ,cus-internals nil + ,(concat "Customization of internal settings for " + assistant-name " configuration.") + :group 'proof-general-internals + :prefix ,(concat sname "-")) + ;; Set the proof-assistant configuration variable (setq proof-assistant ,assistant-name) ;; Extend the load path, load the real mode and invoke it. |