Skip to content

7th Git Release
Compare
Choose a tag to compare
@Jazzpirate Jazzpirate released this 11 May 07:25
· 3614 commits to release since this release
v7.0.0
ba9bdda

Changes since the Sixth Git Release:

  • New additions:
    • Views are allowed within Theories now
  • Improvements:
    • Theory Combinators are now fully implemented
    • The MMT build manager now uses the catalogue to dereference logical dependencies, this improves the automated build of OAF libraries like the PVS library
    • Structures are now elaborated correctly
    • Refactoring of WebServer and ServerExtension Code
    • Improvements to lmfdb, Sage and GAP
    • Improvements to Client-Side Interactive Graph
    • Some problems with Elaboration in general fixed
  • Miscellaneous other bug fixes and improvements
Assets 3