25th Git Release
- 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
- command
- 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