|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Presenter | |
---|---|
fmrisc.ProofNavigator |
Uses of Presenter in fmrisc.ProofNavigator |
---|
Methods in fmrisc.ProofNavigator that return Presenter | |
---|---|
static Presenter |
State.getPresenter()
Get current presenter. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |