[z3-checkins] r20258 - z3/Five/branch/Five-1.3
efge at codespeak.net
efge at codespeak.net
Fri Nov 25 22:04:55 CET 2005
Author: efge
Date: Fri Nov 25 22:04:54 2005
New Revision: 20258
Modified:
z3/Five/branch/Five-1.3/CHANGES.txt
z3/Five/branch/Five-1.3/version.txt
Log:
Prepare for Five 1.3b4
Modified: z3/Five/branch/Five-1.3/CHANGES.txt
==============================================================================
--- z3/Five/branch/Five-1.3/CHANGES.txt (original)
+++ z3/Five/branch/Five-1.3/CHANGES.txt Fri Nov 25 22:04:54 2005
@@ -2,8 +2,8 @@
Five Changes
============
-Five 1.3 branch
-===============
+Five 1.3b4 (2005-11-25)
+=======================
Restructuring
-------------
Modified: z3/Five/branch/Five-1.3/version.txt
==============================================================================
--- z3/Five/branch/Five-1.3/version.txt (original)
+++ z3/Five/branch/Five-1.3/version.txt Fri Nov 25 22:04:54 2005
@@ -1 +1 @@
-Five 1.3b3
+Five 1.3b4
More information about the z3-checkins
mailing list