| Class | Description |
|---|---|
| BreakInfo |
Line break information for pretty-printing abstract syntax trees.
|
| CommandServer |
Server handling commands received as HTTP requests.
|
| MathML |
Conversion of AST to HTML/MathML presentation markup.
|
| OMDoc |
Conversion of AST declarations from/to OMDoc declarations.
|
| OpenMath |
Conversion of AST objects (excluding declarations)
from/to OpenMath representation.
|
| Presenter |
Interface to visual presentation of declarations and proof states.
|
| PrettyMathML |
Conversion of AST to HTML/MathML presentation markup (pretty-printed).
|
| PrettyPrinter |
Printing abstract syntax trees with appropriate line breaks.
|
| Store |
Persistent store of declarations and proofs.
|