From ee91c3f2f1dd5f2f731db385134f38726b37b7ca Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Sep 2009 23:04:40 +0000
Subject: Experimental changes to queue several commands at once and to allow
 pre-processing of commands when they're queued from script

---
 etc/development-tips.txt | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'etc')

diff --git a/etc/development-tips.txt b/etc/development-tips.txt
index 066b98a0..d8b766cd 100644
--- a/etc/development-tips.txt
+++ b/etc/development-tips.txt
@@ -32,6 +32,18 @@ proof-assistant symbol (proof-ass), they will produce the wrong result
 be used to avoid this and optimise compilation.  Byte compiler also
 optimises some conditionals that appear constant, be wary.
 
+Finally, the compiler will warn over-eagerly (and ususally spuriously)
+about unknown functions.  Adding extra requires can get these to go
+away, but watch out for introducing cycles in the require graphs.
+
+Rough dependency graph:
+
+
+proof-autoloads -> 
+        pg-vars -> proof-site  -> pg-vars
+           
+
+
 
 Some Emacs Resources
 ====================
-- 
cgit v1.2.3