Name | Modified | Size | Downloads / Week |
---|---|---|---|
czt-ide | 2013-04-03 | ||
czt-ide-updates | 2013-04-03 | ||
czt-jedit | 2013-04-03 | ||
czt | 2013-04-03 | ||
maven | 2013-04-03 | ||
typechecker | 2007-07-05 | ||
corejava (old) | 2004-09-23 | ||
README.md | 2013-04-03 | 1.1 kB | |
Totals: 8 Items | 1.1 kB | 4 |
Community Z Tools downloads
Community Z Tools provides downloads to be used in various different scenarios. CZT provides libraries to develop tools for Z specifications, or can be used as IDE to develop Z specifications. The different downloads are available from the corresponding directories:
czt-ide
- Releases of standalone CZT IDE, based on Eclipse platform. Use it to author, develop and verify Z specifications.czt-ide-updates
- Update sites for released CZT Eclipse plugins to be installed in your own Eclipse IDE.czt-jedit
- Plugins for the jEdit text editor adding support for typesetting Z specifications.czt
- Standalone CZT library (classic distribution).maven
- Instructions how to use CZT libraries deployed to Maven Central.