[z3-checkins] r26637 - z3/hurry/trunk
faassen at codespeak.net
faassen at codespeak.net
Mon May 1 18:29:55 CEST 2006
Author: faassen
Date: Mon May 1 18:29:54 2006
New Revision: 26637
Added:
z3/hurry/trunk/CHANGES.txt
Log:
Add changelog.
Added: z3/hurry/trunk/CHANGES.txt
==============================================================================
--- (empty file)
+++ z3/hurry/trunk/CHANGES.txt Mon May 1 18:29:54 2006
@@ -0,0 +1,7 @@
+hurry changes
+=============
+
+0.8 (2006-05-01)
+----------------
+
+Initial public release.
More information about the z3-checkins
mailing list