|
Class Summary |
| 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 |
|
| 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. |