Uses of Class
scphEditor.ProverShell

Uses of ProverShell in scphEditor
 

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