diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-25 14:11:27 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-25 14:11:27 +0000 |
| commit | fde5bf128d6157722dbd7058a8bfdbc6fddd8c4f (patch) | |
| tree | 4c5baded27fcb2877cee0c20295aba7dcc51dde0 /generic | |
| parent | e8afda5769020ebf6393f46068c7cd5f9f9ead24 (diff) | |
Commentary: move compile notes to etc/development-tips.txt
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-utils.el | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 49d32813..53108152 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -9,11 +9,9 @@ ;;; Commentary: ;; ;; Loading note: this file is required immediately from proof.el, so -;; no autoloads cookies are added here. To expand macros during -;; compilation, use (eval-when-compile (require 'proof-utils)). -;; This needs care: it is safe for e.g., deflocal, but not for -;; macros which evaluate proof-assistant symbol, e.g. proof-ass, -;; unless proof-ready-for-assistant has been run. +;; no autoloads cookies are added here. +;; +;; Compilation note: see etc/development-tips.txt ;; (require 'proof-site) ; basic vars |