| Class | Description |
|---|---|
| MainSWT |
Main method for ProofNavigator with SWT-based GUI.
|
| ProofTree |
Graphical representation of proof.
|
| ProofTreeItem |
Graphical representation of proof state.
|
| Question |
A window for selecting multiple directories.
|
| 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.
|