Uses of Package
jack.plugin.perspective

Packages that use jack.plugin.perspective

jack.plugin.perspective
jack.plugin.prove
jpov
jpov.viewer.source
jpov.viewer.tree

Classes in jack.plugin.perspective used by jack.plugin.perspective

ICaseExplorer
This interface defines a case explorer.

ILemmaViewer
This interface defines a lemma viewer.

ISourceCaseViewer
This interface defines a source viewer.

SourceCaseViewer
View that displays the source.

Classes in jack.plugin.perspective used by jack.plugin.prove

CaseExplorer
View containing the cases explorer.

ICaseExplorer
This interface defines a case explorer.

Classes in jack.plugin.perspective used by jpov

ICaseExplorer
This interface defines a case explorer.

Classes in jack.plugin.perspective used by jpov.viewer.source

ISourceCaseViewer
This interface defines a source viewer.

Classes in jack.plugin.perspective used by jpov.viewer.tree

ICaseExplorer
This interface defines a case explorer.

ILemmaViewer
This interface defines a lemma viewer.

ISourceCaseViewer
This interface defines a source viewer.