diff options
| author | David Aspinall | 2002-08-28 23:21:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-28 23:21:10 +0000 |
| commit | e90f1249c55291c7b0bab546c2513e5a91bc0c6b (patch) | |
| tree | c87eff734621ee967ca1ccb93feb08f8dbd29a9a /generic | |
| parent | 7426585190a3bee979818adc76639162372da6b7 (diff) | |
Alternative version of proof-ass macro to support byte-compiled files.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-utils.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 5d94f6c5..9d9ecb11 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -169,7 +169,8 @@ Usage: (defpgcustom SYM &rest ARGS)." (defmacro proof-ass (sym) "Return the value for SYM for the current prover." - (eval `(proof-ass-sym ,sym))) + ;; (eval `(proof-ass-sym ,sym)) + `(symbol-value (proof-ass-symv ',sym))) ;; [Stefan Monnier] (defun proof-defpgdefault-fn (sym value) "Helper for `defpgdefault', which see. SYM and VALUE are evaluated." @@ -267,7 +268,7 @@ user accidently killing an associated buffer." (defun proof-define-keys (map kbl) "Adds keybindings KBL in MAP. The argument KBL is a list of tuples (k . f) where `k' is a keybinding -(vector) and `f' the designated function." +\(vector) and `f' the designated function." (mapcar (lambda (kbl) (let ((k (car kbl)) (f (cdr kbl))) |