[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