issues
search
UniFormal
/
MMT
The MMT Language and System
https://uniformal.github.io/
Other
68
stars
23
forks
source link
Release 19.0.0
#502
Closed
Jazzpirate
closed
4 years ago
Jazzpirate
commented
4 years ago
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)
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
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
PUSHOUT ?thy ALONG ?view
(MMT/urtheories) and logic-specific operators (MMT/LATIN2)