Skip to content

10.1 Release
Compare
Choose a tag to compare
@tkw1536 tkw1536 released this 10 Apr 22:21
· 3247 commits to master since this release
v10.1.0
e2c58fa
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

This release is smaller than previous releases and mainly contains various bugfixes for use throughout the semester.

  • added an MMT-specific context menu to jEdit
  • an MMT Docker Container is now available at kwarc/mmt on DockerHub
  • Deprecation of old delimiters and LF Arrows
    • systematic replacement across all existing archives
  • TGView minor improvements
  • numerous bugfixes and cleanup
Assets 3
Loading