[z3-checkins] r35450 - z3/deliverance/DeliveranceDemo/trunk/docs

Thu Dec 7 18:53:13 CET 2006

Author: ianb
Date: Thu Dec  7 18:53:11 2006
New Revision: 35450

Added:
   z3/deliverance/DeliveranceDemo/trunk/docs/
   z3/deliverance/DeliveranceDemo/trunk/docs/find-links.html   (contents, props changed)
Log:
added docs+links

Added: z3/deliverance/DeliveranceDemo/trunk/docs/find-links.html
==============================================================================

--- (empty file)
+++ z3/deliverance/DeliveranceDemo/trunk/docs/find-links.html	Thu Dec  7 18:53:11 2006
@@ -0,0 +1,11 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
+<html>
+<head>
+<title>Find link page</title>
+</head>
+
+<body>
+
+<a href="../#egg=DeliveranceDemo-dev">Link to Deliverance svn checkout</a>
+
+</body> </html>
