|
|||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
ICaseExplorer | This interface defines a case explorer. |
ILemmaViewer | This interface defines a lemma viewer. |
ISourceCaseViewer | This interface defines a source viewer. |
Class Summary | |
CaseExplorer | View containing the cases explorer. |
JackPerspective | The Jack perspective. |
LemmaViewer | View displaying a lemma. |
SourceCaseViewer | View that displays the source. |
|
|||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |