From fde5bf128d6157722dbd7058a8bfdbc6fddd8c4f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 25 Jan 2008 14:11:27 +0000
Subject: Commentary: move compile notes to etc/development-tips.txt

---
 generic/proof-utils.el | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

(limited to 'generic')

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
-- 
cgit v1.2.3