Reference manual
Preparing Z specifications for cadiz
Choose either
LaTeX mark-up
or
troff mark-up
Characters
Lexis
Concrete syntax
Tool directives
- tricks specific to cadiz
Comparison with ISO Standard Z
Extensions to ISO Standard Z
Deviations from ISO Standard Z
Behaviour where ISO Standard Z is loose
Differences between ISO Standard Z and ZRM92
Running cadiz
Command-line options and environment
Auxiliary tools
Interacting with cadiz
Selecting Z formulae (button 1)
Z-related commands (button 2)
Page-related commands (button 3)
Printing Z specifications on paper
Choose either
LaTeX
or
troff
Toolkits
section prelude
Choose either
standard toolkit
or the CADiZ-specific
toolkit
Programming tactics
Choose either
LaTeX mark-up
or
troff mark-up
Characters
and
lexis
are as for Z
Concrete syntax
Semantics - refer to
tactic tutorial paper
Developer's notes
Known problems
Bugs
Unfortunate features
Further work
IT 12-Jan-2002