Uses of Class
scphEditor.ProverFrame

Uses of ProverFrame in scphEditor
 

Methods in scphEditor that return ProverFrame
static ProverFrame ProverFrame.instance()