From e6770fe99299f8b5d1093ad0b44632d1d3705991 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 5 May 2000 11:28:34 +0000
Subject: Added variables for customization groups so they can be set
 automatically.

---
 generic/proof-site.el | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'generic')

diff --git a/generic/proof-site.el b/generic/proof-site.el
index b17c3c8a..020d5179 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -257,6 +257,8 @@ Note: to change proof assistant, you must start a new Emacs session.")
 		;; NB: tempting to use customize-set-variable: wrong!
 		;; Here we treat customize as extended docs for these
 		;; variables.
+		(setq proof-assistant-cusgrp (quote ,cusgrp))
+		(setq proof-assistant-internals-cusgrp (quote ,cus-internals))
 		(setq proof-assistant ,assistant-name)
 		(setq proof-assistant-symbol (quote ,assistant))
 		;; Extend the load path, load the real mode and invoke it.
-- 
cgit v1.2.3