| 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 |
| 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. | |
| 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. | |
| Type | Changes | By |
|---|
| Lots of improvements and bug fixes; see the changes report
of the subprojects for more information. | |
| 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. | |
| Type | Changes | By |
|---|
| Lots of improvements and bug fixes; see the changes report
of the subprojects for more information. | |
