[CZT-Users] First stable CZT relase v.1.0 !!!

[<le...@cs...>]

Dear CZT User/Developer,

We delighted to announce that after a lot of effort,
our first stable realease v.1.0 is now available at
"http://czt.sourceforge.net". This includes tools for
Z, Object-Z, and Circus, such as parser, typechecker,
pretty-printer, developing environments like jEdit and
Eclipse, a Z animator (ZLive), and so on.
They have been thoroughly used and tested within our
developping team. Nevertheless, there is plenty of room
for improvement!
Thus, we would be greatful if you could send us your
views, comments, bugs, suggestion, feature requests,
and so on at "http://sourceforge.net/projects/czt/".

With best regards,
CZT development team