Uses of Class
scphEditor.Work

Uses of Work in scphEditor
 

Fields in scphEditor declared as Work
(package private)  Work ScphEditorPart.proof_content
          Reference to the proof content.
 

Methods in scphEditor that return Work
 Work Loader.getWork()
           
 Work Workspace.getWork()
           
 

Constructors in scphEditor with parameters of type Work
DOMBuilder(Work w)
           
Workspace(Work w, ScphEditorPart p)