diff options
| author | David Aspinall | 2002-11-18 23:09:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-11-18 23:09:23 +0000 |
| commit | ce6425d52baee382efd70ecb49ee9e50f6492d6a (patch) | |
| tree | e016e57598654073812cb5bbf5f89b7ad54a7a74 /generic | |
| parent | 0c4d7e6e96bfc798a2663de2d2a21c654b756175 (diff) | |
Add undefpgcustom
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-utils.el | 6 |
1 files changed, 6 insertions, 0 deletions
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 |