Skip to content

@Jazzpirate Jazzpirate released this Mar 23, 2019

  • 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
You can’t perform that action at this time.