The following tools all reside in the $CADIZ/mip/bin directory.
Z representation conversion tools
section | Mark-up ![]() | permute sections and mark-up directives into definition before use order |
markup | Sections ![]() | translate sorted mark-up to sequence of UCS characters |
optemp | UCS ![]() | permute operator templates to beginnings of sections |
zpp | Mark-up ![]() | section | markup | optemp (composed by pipes) |
ucs2troff | UCS ![]() | translate sequence of UCS characters to troff |
troff | troff ![]() | typeset document in troff mark-up |
proof | dit ![]() | display document already typeset by troff (for "proof"-reading) |
cz | UCS ![]() | ucs2troff | troff | proof (composed by pipes) |
grops | dit ![]() | translate troff output to postscript |
prep | Mark-up ![]() | zpp | cz (composed by pipes) |
xml | Mark-up ![]() | generate XML mark-up of Z specification |
Other tools