Download List

Project Description

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.

System Requirements

Operating System: All 32-bit MS Windows (95/98/NT/2000/XP/Vista/7), Windows, Windows 7, Windows Vista

Download Package list

Latest 5 files
Name Size Date Download count
README.txt 2.1 KB 2013-08-17 01:23 3
spiveytostd.jar 83.3 KB 2012-10-14 01:56 3
ZWordSources_3.2.zip 25.4 MB 2012-10-14 01:56 3
ZWord_3.2_Setup.exe 10.7 MB 2012-10-14 01:50 11
ZWordSources_3.1.zip 12.1 MB 2012-02-29 21:55 0
All Files
README.txt2.1 KB2013-08-17 01:233
Current Version
spiveytostd.jar83.3 KB2012-10-14 01:563
ZWordSources_3.2.zip25.4 MB2012-10-14 01:563
ZWord_3.2_Setup.exe10.7 MB2012-10-14 01:5011
OldFiles
3.1
ZWordSources_3.1.zip12.1 MB2012-02-29 21:550
ZWord_3.1_Setup.exe10.7 MB2012-02-29 21:390
spiveytostd.jar82.9 KB2011-12-14 23:260
1.3.1.0
ZWordSourceAndSDK_1.3.zip9.4 MB2010-01-09 05:040
ReleaseNotes_1.3.txt0.8 KB2010-01-09 02:310
ZWord_1.3_Setup.exe3.2 MB2010-01-09 02:300
zsym.ttf23.1 KB2009-04-23 22:210
Version 1.1
ZWordSourceAndSDK_1.0_Setup.exe9.4 MB2009-02-20 18:400
ZWord_1.1_Setup.exe2.7 MB2009-02-20 18:360
ZWordSourceAndSDK_1.0.zip10.1 MB2008-09-18 22:090
ZWordSourceAndSDK_1.0.1.zip13.9 MB2008-09-14 22:580
ZWord_1.0.1_SDK.zip13.9 MB2008-09-14 22:420
ZWord_1.0_Setup.exe2.8 MB2008-08-01 22:260