|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use PNLexer | |
|---|---|
| fmrisc.ProofNavigator | |
| Uses of PNLexer in fmrisc.ProofNavigator |
|---|
| Methods in fmrisc.ProofNavigator that return PNLexer | |
|---|---|
static PNLexer |
State.getLexer()
get lexer used by proof navigator |
| Methods in fmrisc.ProofNavigator with parameters of type PNLexer | |
|---|---|
static void |
State.setLexer(PNLexer lexer)
set lexer used by proof navigator |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||