org.grinvin.workspace

Interfaces

Wrapper

Classes

ConjecturingWindowWrapper
DefaultWindowWrapper
EditorWindowWrapper
GraphBrowserWindowWrapper
GrinvinWindowWrapper
LoggingWindowWrapper
Workspace
WorkspaceException