Download
Would you recoomend this project?
Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details.
You can download file releases of Z Word Tools project from List of release files
System RequirementsOperating System: All 32-bit MS Windows (95/98/NT/2000/XP), Windows Vista
| ZWord_3.2_Setup.exe Date: 2012-10-13, Size: 10977807 |
List of release files
|