[z3-checkins] r33516 - z3/deliverance/branches/packaged

[ltucker at codespeak.net]

Author: ltucker
Date: Fri Oct 20 22:20:04 2006
New Revision: 33516

Modified:
   z3/deliverance/branches/packaged/README.txt
Log:
add prominent reference to specification page

Modified: z3/deliverance/branches/packaged/README.txt
==============================================================================
--- z3/deliverance/branches/packaged/README.txt	(original)
+++ z3/deliverance/branches/packaged/README.txt	Fri Oct 20 22:20:04 2006
@@ -1,4 +1,7 @@
 
+See: http://www.openplans.org/projects/deliverance/specification 
+for more information
+
 Quick Start to run tests 
 -------------------------