From e4d45159400b1e622dbe4278c8fb9e9831d04334 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 29 Oct 1998 18:27:23 +0000 Subject: Added automatic -config customize group --- generic/proof-site.el | 13 +++++++++++-- 1 file 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. -- cgit v1.2.3