CADiZ

Reference manual / Z-related commands / Proof management commands / script manager


The script manager command displays a summary of the statuses of the scripts of the specification's named conjectures. It is offered when a node in the proof tree is inspected. The summary is displayed in the proof tree's window. The statuses are explained at the beginning of the summary. To print or save the generated document, use the previewing tool's printer command in its button 3 menu. Do that straight away, as the document will be lost when the proof tree is next redrawn.

The script manager display is also presented in the proof tree window at the beginning of a cadiz session.

See also the proof tree command.


IT 29-Oct-2000