org.grinvin.workspace
Interfaces
Wrapper
Classes
ConjecturingWindowWrapper
DefaultWindowWrapper
EditorWindowWrapper
GraphBrowserWindowWrapper
GrinvinWindowWrapper
LoggingWindowWrapper
Workspace
WorkspaceException