Uses of Class
scphEditor.ProverFrame.PostExecute

Uses of ProverFrame.PostExecute in scphEditor
 

Methods in scphEditor with parameters of type ProverFrame.PostExecute
 java.lang.String ProverFrame.execute(java.lang.String cmd, ProverFrame.PostExecute p)