diff options
| -rw-r--r-- | generic/proof-config.el | 21 |
1 files changed, 16 insertions, 5 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 3bc3ea23..30c1c2e0 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -76,9 +76,11 @@ We first call `set-default' to set SYM to VALUE. Then if there is a function SYM (i.e. with the same name as the variable SYM), it is called to take some dynamic action for the new -setting." +setting. This only happens when values *change*: we test whether +proof-config is fully-loaded yet." (set-default sym value) - (if (fboundp sym) (funcall sym))) + (if (and (featurep 'proof-config) (fboundp sym)) + (funcall sym))) @@ -1815,6 +1817,9 @@ Proof General." (concat proof-assistant " Proof General!") nil nil + "(C) LFCS, University of Edinburgh, 2000." + nil + nil " Please send problems and suggestions to proofgen@dcs.ed.ac.uk, or use the menu command Proof-General -> Submit bug report." nil @@ -1890,12 +1895,18 @@ X-Symbol support is deactivated." ;; NB: this section is work in progress -(defmacro proof-defass-custom (sym &rest args) +(defmacro proof-defasscustom (sym &rest args) `(defcustom ,(intern (concat (symbol-name proof-assistant-symbol) (symbol-name sym))) - ,@args - :group ,(quote proof-assistant-cusgrp))) + :group ,(quote proof-assistant-cusgrp) + ,@args)) + +; (proof-defasscustom favourites nil +; " + + + ;(proof-defass-custom test "Hello" ; "Command" |