[z3-checkins] r21768 - z3/Five/branch/Five-1.2
philikon at codespeak.net
philikon at codespeak.net
Sat Jan 7 09:35:47 CET 2006
Author: philikon
Date: Sat Jan 7 09:35:41 2006
New Revision: 21768
Modified:
z3/Five/branch/Five-1.2/CHANGES.txt
z3/Five/branch/Five-1.2/version.txt
Log:
Prepare for release
Modified: z3/Five/branch/Five-1.2/CHANGES.txt
==============================================================================
--- z3/Five/branch/Five-1.2/CHANGES.txt (original)
+++ z3/Five/branch/Five-1.2/CHANGES.txt Sat Jan 7 09:35:41 2006
@@ -2,7 +2,7 @@
Five Changes
============
-Five 1.2 (unreleased)
+Five 1.2 (2006-01-07)
=====================
Bugfixes
Modified: z3/Five/branch/Five-1.2/version.txt
==============================================================================
--- z3/Five/branch/Five-1.2/version.txt (original)
+++ z3/Five/branch/Five-1.2/version.txt Sat Jan 7 09:35:41 2006
@@ -1 +1 @@
-Five 1.2b
+Five 1.2
More information about the z3-checkins
mailing list