issues
search
UniFormal
/
MMT
The MMT Language and System
https://uniformal.github.io/
Other
68
stars
22
forks
source link
Release 24
#578
Closed
Jazzpirate
closed
1 year ago
Jazzpirate
commented
1 year ago
Core
added support for structures defined by morphisms
various bug fixes regarding morphisms
further maturation of computation algorithm
jEdit
one-step only normalization function
sTeX
complete redesign
automatically keeps
RusTeX
up to date
improvements for LSP and the
IDE
redesigned presentation of sTeX-originated OMDoc, integrated as OMDoc tab in the preview window of the IDE
improved error viewer in the IDE
co-release with the IDE and sTeX version 3.3 on
CTAN
other components
new Lean importer