Z Word Tools Release Notes
Version 18.104.22.168 13th October 2012
To download the tools for Windows, please save the setup file ZWord_3.2_Setup.exe and run it from your local copy. Please don't try and run the setup from your browser.
Version 3.2 works with all versions of Word for Windows from Word 2000 on.
If you are using Word 2010 I suggest that you use an MSI-based version rather than a Click-to-run version. Although the tools work with Click-to-run, installation is less reliable and you may find the format painter does not work. See this Microsoft page:
http://office.microsoft.com/en-us/excel-help/click-to-run-switch-to-using-an-msi-based-office-edition-HA101850538.aspx. There is no problem with Word 2013 Click-to-run installations.
To download the stand alone Java converter from Spivey Z to Standard Z, which can be used with LaTeX files on any operating system, download spiveytostd.jar from the Current Version folder.
The sources are in ZWordSources_3.2.zip in the Current Version folder
Changes since 3.1
There is now a tool to convert Spivey Z into Standard Z. This can also be used as a stand alone program or a Java class to incorporate into CZT-based tools so they can process Spivey Z specifications. It is included in the Windows download but if you don't have Windows you can download the file spiveytostd.jar separately - see above.
Named theorem paragraphs are supported when using Standard Z.
There are changes to make it easier to keep the structure of the document correct, including a new button for selecting the whole of a Z paragraph.
The load/unload behaviour has been improved
Various problems that caused italicisation within Z to be a bit erratic have been cured.
The tools have been updated to work with Word 2013 beta and improvements made to the installer so it works better with click-to-run Word versions.
19 First character of schema name can be lost
Feature requests actioned:
5 Non-aggressive behaviour of Z Word Tools