From ce6425d52baee382efd70ecb49ee9e50f6492d6a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 18 Nov 2002 23:09:23 +0000
Subject: Add undefpgcustom

---
 generic/proof-utils.el | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 4185ee72..b0215bbe 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -158,6 +158,12 @@ If NEWVAL is present, set the variable, otherwise return its current value.")
 	    (setq ,specific-var newval)
 	  ,specific-var)))))
 
+(defun undefpgcustom (sym)
+  (let ((specific-var (proof-ass-symv sym))
+	(generic-var  (intern (concat "proof-assistant-" (symbol-name sym)))))
+    (pg-custom-undeclare-variable specific-var)
+    (fmakunbound generic-var)))
+
 (defmacro defpgcustom (sym &rest args)
   "Define a new customization variable <PA>-SYM for the current proof assistant.
 The function proof-assistant-<SYM> is also defined, which can be used in the 
-- 
cgit v1.2.3