PROGRAMS BY zwordtools.sf.net

Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols and capabilities for editing, typechecking, creating diagrams, indexing & cross referencing. Supports large specificat