Skip to content

16th Git Release
Compare
Choose a tag to compare
@Jazzpirate Jazzpirate released this 23 Mar 08:55
· 1820 commits to release since this release
v16.0.0
3c51842
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
  • New primitive concept of derived modules (in analogy to derived declarations)
  • New declaration objects for diagrams and diagram operators (paper)
  • New importer for Coq library, based Sacerdoti Coen's XML export paper
  • Improvements to MMTTeX for putting MMT syntax into LaTeX files
  • First version of database generator for schemas written as MMT theories MBGen
  • First version of theory generalization (see here)
  • Improvements to the Jupyter Kernel
  • Improvements for TGView, ported to TypeScript in an external repository
  • Much improved documentation of package objects in mmt-api (can serve as entry points for reading API doc)
  • Lots of minor improvements and bugfixes as well as cleanup of Scala warning including deprecation warnings (now < 100 warnings)
Assets 3
Loading