|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |