Skip to content

6th Git Release
Compare
Choose a tag to compare
@Jazzpirate Jazzpirate released this 13 Apr 14:10
· 3682 commits to master since this release
v6.0.0
bec1b97

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
Assets 2