[CZT-Users] Z Word Tools now support ISO Standard Z

[Anthony H. <an...@an...>]

I'm pleased to announce the release of Version 2.0 of the Z Word Tools. The main new feature in this release is that you can write ISO Standard Z and typecheck your specification using a built in interface to the Community Z Tools (http://czt.sourceforge.net/) typechecker. I'm very grateful to Tim Miller, of the CZT project, for help with this. 

Of course Z Word Tools continues to support Spivey Z using fuzz and there need be no change to existing documents.

In addition there are other improvements especially for large specifications.

The new version is available at http://sourceforge.net/projects/zwordtools/ where there are full release notes.

I hope you find the new version useful. Please do let me know of any problems or comments


Anthony Hall

22 Hayward Road
Oxford OX2 8LW
UK

+44 (0) 7779 255147
an...@an...
www.anthonyhall.org