Release History

Version Date Description
1.0 July 2007 Major release based on ZML 2.1; tools like parser, typechecker, etc. are quite mature now
0.5 July 2006 Release based on ZML 2.0, containing tools like parser, typechecker, animator, etc.
0.4 Sept 2005 Bugfix and improvement release
0.3 March 2005 Release based on ZML 1.4, containing AST classes, parser, typechecker, and a jedit plugin
0.2 Sept 2004 Release based on ZML 1.3, containing AST classes and a parser
0.1 April 2004 First CZT Release

Release 1.0 – July 2007

Type Changes By
Update to changes of the Z Standard (defect reports 001..013).
Lots of improvements and bug fixes; see the changes report of the subprojects for more information.
Use maven as build system. This includes lots of changes to the project and directory structure to follow the maven conventions.
Add a Z to B translator.

Release 0.5 – July 2006

Type Changes By
Add Z animator ZLive. Mark Utting
Add testing tool modeljunit. Mark Utting
The jedit plugin has been split into two (ZCharMap and ZSideKick) and a new jedit plugin for zlive has been added. Petra Malik
Lots of improvements and bug fixes; see the changes report of the subprojects for more information.

Release 0.4 – Sept 2005

Type Changes By
Lots of improvements and bug fixes; see the changes report of the subprojects for more information.

Release 0.3 – March 2005

Type Changes By
Add a jedit plugin. Petra Malik
Add a typechecker. Tim Miller
Lots of improvements and bug fixes; see the changes report of the subprojects for more information.

Release 0.2 – Sept 2004

Type Changes By
Lots of improvements and bug fixes; see the changes report of the subprojects for more information.

Release 0.1 – April 2004

No changes in this release.

Back to top

Version: 1.6-SNAPSHOT. Last Published: 2016-04-09.

Reflow Maven skin by Andrius Velykis.