Skip to content

8th Git Release
Compare
Choose a tag to compare
@Jazzpirate Jazzpirate released this 06 Nov 09:03
· 3478 commits to release since this release
v8.0.0
223bb23
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.
  • Views are now checked for totality
  • Improved Query error messages
  • Improved and redesigned graphviewer
  • Added set of alternative (higher unicode instead of lower ASCII) delimiters that allow for previewing .mmt files in github/gitlab
  • Fixed bug concerning higher unicode symbols in .mmt files
  • Improved SCSCP implementation
  • BuildQueue now better tracks build dependencies
  • Autocompletion in MMT shell
  • Added Singular importer to mmt-odk plugin
  • various bugfixes
Assets 3
Loading