|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
MainSWT | Main method for ProofNavigator with SWT-based GUI. |
ProofTree | Graphical representation of proof. |
ProofTreeItem | Graphical representation of proof state. |
TextInputStream | Mapping of a Text widget to an InputStream object. |
TextOutputStream | Mapping of an OutputStream object to a Text widget. |
Top | The top panel of the GUI. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |