Package | Description |
---|---|
fmrisc.ProofNavigator | |
fmrisc.ProofNavigator.Communication |
Class and Description |
---|
Presenter
Interface to visual presentation of declarations and proof states.
|
Store
Persistent store of declarations and proofs.
|
Class and Description |
---|
BreakInfo
Line break information for pretty-printing abstract syntax trees.
|