Z/EVES screen shots

The main specification window shows the typeset form of the specification, and a status indicator showing which paragraphs are typechecked, which have errors, and which are unchecked. If a paragraph has an associated proof obligation, a second status bar shows whether it has been discharged.

This picture shows the specification window, with three typechecked paragraphs followed by an unchecked schema box:

The GUI's specification window

This picture shows the editor window, which provides buttons and keyboard shortcuts for the Z symbols:

The GUI's editor window

URL: http://www.oracanada.com/z-eves/screenshots.html
Revised: July 12, 2000