issues
search
UniFormal
/
MMT
The MMT Language and System
https://uniformal.github.io/
Other
68
stars
23
forks
source link
Release 25
#579
Closed
Jazzpirate
closed
1 year ago
Jazzpirate
commented
1 year ago
Core
command
archive new FOLDER
creates a new archive
.
in build commands refers to current archive
better messages in setup dialog to help avoid common problems
removed certain URLDecoder uses that were not supported by all JDKs
sTeX
integrated (upcoming) release for
RusTeX
with significantly improved optics and CSS styling
other components
new MMT extension for Visual Studio Code
: allows syntax highlighting, typechecking, and building MMT formalizations within Visual Studio Code
new Aldor importer in collaboration with Stephen Watt
archive new FOLDER
creates a new archive.
in build commands refers to current archive