[CZT-Users] CZT typechecker v1.0 release

[Tim M. <T.M...@cs...>]

CZT-ers,

In keeping up with the tradition of releasing standalone jar files 
for the Z/Object-Z typechecker (which seem to be quite popular), I 
have released a new version to coincide with the recent CZT 1.0 
release.

For those unfamiliar with these releases, they are lighter 
versions of the CZT tools, containing only the parsers and 
typecheckers for Z/Object-Z, and are used via the command line. 
The new version can be run the same as previous versions:
java -jar czt_typecheck_v1.0.jar filename1 filename2 ...

You can download it from the CZT sourceforge site, or directly via 
the link 
http://prdownloads.sourceforge.net/czt/czt_typecheck_v1.0.jar?download

Cheers,
Tim