Z Word Tools News

Version 3.2 was released on 13th October 2012. The main change is a new tool to convert a specification written in Spivey Z to Standard Z. This can convert Word documents and is also available as a separate Java download that will convert LaTeX files on any operating system. It can be used stand-alone or as part of a larger Standard Z based tool so that Spivey Z specifications can be processed.

Other small improvements are listed in the release notes.

Version 3.0 of the Z Word tools is now available. It has greatly improved keyboard handling. The tools work correctly with non-English keyboards and there are no longer problems typing into different Word windows.