[z3-checkins] r27288 - z3/hurry.query/trunk
faassen at codespeak.net
faassen at codespeak.net
Tue May 16 18:52:44 CEST 2006
Author: faassen
Date: Tue May 16 18:52:43 2006
New Revision: 27288
Modified:
z3/hurry.query/trunk/CHANGES.txt
Log:
Prepare for release.
Modified: z3/hurry.query/trunk/CHANGES.txt
==============================================================================
--- z3/hurry.query/trunk/CHANGES.txt (original)
+++ z3/hurry.query/trunk/CHANGES.txt Tue May 16 18:52:43 2006
@@ -1,8 +1,8 @@
hurry changes
=============
-0.9 (under development)
--------------------------
+0.9 (2006-05-16)
+----------------
* Separate hurry.query from the other hurry packages. Eggification work.
More information about the z3-checkins
mailing list