[z3-checkins] r5696 - z3/Five/branch/faassen-docfixes
faassen at codespeak.net
faassen at codespeak.net
Mon Jul 26 16:20:48 MEST 2004
Author: faassen
Date: Mon Jul 26 16:20:48 2004
New Revision: 5696
Added:
z3/Five/branch/faassen-docfixes/CHANGES.txt
Log:
Add CHANGES.txt so we can start tracking changes after 0.1 release.
Added: z3/Five/branch/faassen-docfixes/CHANGES.txt
==============================================================================
--- (empty file)
+++ z3/Five/branch/faassen-docfixes/CHANGES.txt Mon Jul 26 16:20:48 2004
@@ -0,0 +1,7 @@
+Five Changes
+============
+
+Five 0.1
+--------
+
+Initial public release.
More information about the z3-checkins
mailing list