Uses of Interface
scphEditor.ProverShell.IPostExecute

Uses of ProverShell.IPostExecute in scphEditor
 

Classes in scphEditor that implement ProverShell.IPostExecute
(package private)  class ProofMenu.PostConvert
           
(package private)  class ProofMenu.PostQED
           
 

Methods in scphEditor with parameters of type ProverShell.IPostExecute
 void ProverShell.execute(java.lang.String cmd, ProverShell.IPostExecute p)
          Execute a command asynchronously.