Home

Anthony Hall

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

Screenshot thumbnail
When typechecking click on error to go to source of problem
Screenshot thumbnail
Word 2007 users have a Z tab on the ribbon
Screenshot thumbnail
Create diagrams of specification structure
Screenshot thumbnail
Create an index and hyperlinked cross references
Screenshot thumbnail
Box layout and character formatting is automatic
Screenshot thumbnail
All versions have a Z palette that can be turned on or off
 

Project Admins: