Jazzpirate
commented
5 years ago - 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)