19th Git Release
- language features
- improvements for diagram operators
- fixes and extensions to anonymous theories, links, diagrams
- several new operators including
PUSHOUT ?thy ALONG ?view
(MMT/urtheories) and logic-specific operators (MMT/LATIN2)
- improvements for diagram operators
- user interfaces
- IntelliJ-MMT plugin v19
reconstruction of MMT surface syntax for in-memory theories, e.g. theories created by diagram operators on-the-fly, docs & screenshots here
- IntelliJ-MMT plugin v19
- external systems and libraries
- first proper release of logic library MMT/LATIN2 (master branch builds relative to this release)
- new release of Isabelle export (Isabelle/b1f3e86a4745 from https://isabelle.sketis.net/repos/isabelle, AFP/429a712d7c4d from https://isabelle.sketis.net/repos/afp-devel)
- GF: importer project mmt-gf merged into mmt-glf, various small improvements and fixes to GLF functionality
- sTeX-OMDoc importer partially redesigned and improved