Size: 6.18 MB
Publisher: Anthony Hall
License type: Open source
Home page: zwordtools.sourceforge.net
Latest version: 2.0.2.1
Last updated: July 18th, 2011
Content: The Z Word tools are a collection of tools for editing, checking and using Z specifications within Microsoft Word. Includes a unicode font for Z symbols and capabilities for editing, typechecking, creating
diagrams, indexing & cross referencing. Supports large specifications in multiple Word documents.
The tools include:
- styles for laying out schemas and other Z paragraphs;
- a Unicode font that includes all the Z symbols and is visually compatible with Times New Roman;
- automatic layout of Z paragraphs like the LaTeX equivalent, with italic text, formatted keywords and so on;
- the ability to enter symbols from a palette or (for died in the wool LaTeX hackers) typing in the markup;
- one-click typechecking, with errors highlighted in the Word document;
- generation of indexes and cross-references to definition and use of Z names;
- generation of diagrams showing the structure of the specification;
- the ability to hide the Z completely so the document can be used by maths-phobic readers;
- miscellaneous tools such as checking matching brackets.
Download.
0 comments:
Post a Comment