Version 3.2 Release

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.

Posted by Anthony Hall 2012-10-14