|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Context | |
---|---|
fmrisc.ProofNavigator |
Uses of Context in fmrisc.ProofNavigator |
---|
Methods in fmrisc.ProofNavigator that return Context | |
---|---|
static Context |
State.getContext()
get context used by proof navigator |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |