[CZT-Users] CZT Typechecker v0.5 released

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

Hi everyone,

I've (finally!) gotten around to producing a new binary, 
command-line version of the Z/Object-Z typechecker, which is the 
same version of the typechecker released with CZT 0.5. It can be 
run like so:
java -jar czt_typecheck_0_5.jar filename1 filename2 ...

This fixes a few problems that were reported from version 0.4.

Cheers,
Tim