6th Git Release
Changes since the Fifth Git Release:
- New additions:
- Introduction of Theory Expressions
- OpenDreamKit Importers: Sage, GAP
- Client-Side Interactive Graph
- new advanced REPL with a prompt and Tab Completion support
- Improvements:
- Improvements to MathScheme Components
- Improvements to the HTML Presenter
- Improvements to PVS Components
- Improvements of MMT termination behaviour
- Rework of VarDecl class
- Miscellaneous other bug fixes and improvements