Community
Z
Tools
(2.0 preview!)
Download
View on SourceForge
Documentation
User Manual
Developer Info
Design Info
API Documentation
CZT jEdit
Introduction
ZSideKick Plugin
ZCharMap Plugin
ZLive Plugin
Z/EVES Plugin
C
Z
T
:
Community
Z
Tools
Tools for developing and reasoning about Z specifications
CZT
/
CZT jEdit
/
ZSideKick Plugin
/
Release Notes
CZT Changes Report
Release History
Release 1.1 – unreleased
Release 1.0 – July 2007
CZT Changes Report
Release History
Version
Date
Description
1.1
unreleased
1.0
July 2007
Release 1.1 – unreleased
Type
Changes
By
Add another action for unfolding a term recursively.
Petra
Release 1.0 – July 2007
No changes in this release.