Skip to content

Third Git Release
Compare
Choose a tag to compare
@tkw1536 tkw1536 released this 26 Jan 10:30
· 3879 commits to master since this release
v3.0.0
f4e0dbc

Changes since the Second Git Release:

  • New additions:
    • Introduction of Alignments and Concept Server along with translation
    • Initial version of IMPS Parser
    • Initial version of an SCSCP Server
  • Improvements:
    • Refactoring of Parsing Infrastructure
    • Reworked to the Query Language, specifically w.r.t. Virtual Theories
    • Improvements to Mizar
  • Miscellaneous other bug fixes and improvements
Assets 3
Loading