CADiZ

Reference manual / Auxiliary tools


The following tools all reside in the $CADIZ/mip/bin directory.

Z representation conversion tools

section Mark-up \pfun Sections permute sections and mark-up directives into definition before use order
markup Sections \pfun UCS translate sorted mark-up to sequence of UCS characters
optemp UCS \pfun UCS permute operator templates to beginnings of sections
zpp Mark-up \pfun UCS section | markup | optemp (composed by pipes)
ucs2troff UCS \pfun troff translate sequence of UCS characters to troff
troff troff \pfun dit typeset document in troff mark-up
proof dit \pfun Screen display document already typeset by troff (for "proof"-reading)
cz UCS \pfun Screen ucs2troff | troff | proof (composed by pipes)
grops dit \pfun PostScript translate troff output to postscript
prep Mark-up \pfun Screen zpp | cz (composed by pipes)
xml Mark-up \pfun XML generate XML mark-up of Z specification

Other tools


IT 22-Jan-2002