CZT release 1.5.0

Community Z Tools release 1.5 is now available.
It provides tools for editing and checking formal specifications written in the Z, Object-Z and Circus languages. This release contains a snapshot of all CZT tools that are currently available or under development. See the release notes for details on how to use each package.