|
||||||||||
| 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 | |||||||||