9th Git Release

• Preliminary implementation of parametric theories (experimental!)
• fixed lexing of float literals
• TGView updated
• Travis testing improved
• Preliminary support for Java 9
• Bumped scala version to 2.11.12
• Simplifier improved

See #274

8th Git Release

• 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

7th Git Release

Changes since the Sixth Git Release:

• New additions:
  • Views are allowed within Theories now
• Improvements:
  • Theory Combinators are now fully implemented
  • The MMT build manager now uses the catalogue to dereference logical dependencies, this improves the automated build of OAF libraries like the PVS library
  • Structures are now elaborated correctly
  • Refactoring of WebServer and ServerExtension Code
  • Improvements to lmfdb, Sage and GAP
  • Improvements to Client-Side Interactive Graph
  • Some problems with Elaboration in general fixed
• Miscellaneous other bug fixes and improvements

6th Git Release

Changes since the Fifth Git Release:

• New additions:
  • Introduction of Theory Expressions
  • OpenDreamKit Importers: Sage, GAP
  • Client-Side Interactive Graph
  • new advanced REPL with a prompt and Tab Completion support
• Improvements:
  • Improvements to MathScheme Components
  • Improvements to the HTML Presenter
  • Improvements to PVS Components
  • Improvements of MMT termination behaviour
  • Rework of VarDecl class
• Miscellaneous other bug fixes and improvements

Fifth Git Release

Changes since the Fourth Git Release:

• New additions:
  • Initial version of Active Computation Extension
• Improvements:
  • Update to Travis Build Scripts
  • Webserver Improvements, including CORS support, hostname support, and client side libarary updates

Fourth Git Release

Changes since the Third Git Release:

• Improvements to IMPS Parser
• Improvements to PVS Importer
• Improvements to Metamath Importer / Parser
• Miscellaneous other bug fixes and improvements

Third Git Release

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

Second Git Release

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

First Git Release

The first release of MMT on github.