Skip to content

12th git release
Compare
Choose a tag to compare
@Jazzpirate Jazzpirate released this 29 Jun 21:28
· 2883 commits to release since this release
v12.0.0
52511ae
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.
  • lmh can now handle non-archive repositories
  • new MathHub Extension
  • Dockerfile improvements
  • SBT dependency changes
  • Switched the IMPS importer to parser combinators
  • added a Python bridge to control MMT from Python (using Py4J), see python-mmt
  • started Isabelle importer (see mmt-isabelle)
  • MMT tasks now carry progress messages (currently sent by structure parser/checker/elaborator)
  • jEdit gutter contains marker indicating checking progress
  • stop button in jEdit toolbar to gracefully kill MMT processing of file
  • LaTeX-MMT integration works, see self-documenting example.pdf in latex-mmt
  • extensions can now add productions to the syntax of the MMT shell
  • various technical improvements and fixes
Assets 3
Loading