Skip to content

Second Git Release
Compare
Choose a tag to compare
@tkw1536 tkw1536 released this 30 Aug 14:54
· 4039 commits to master since this release
v2.0.0
0e5bcad

Changes since the First Git Release:

  • New additions:
    • Semantic Highlighting in jEdit
  • Improvements:
    • Improvements of the Metamath Importer / Translator
    • Fixing of the lmfdb Virtual Theory
  • Miscellaneous other bug fixes and improvements
Assets 3