Skip to content

10th Git Release
Compare
Choose a tag to compare
@tkw1536 tkw1536 released this 15 Mar 23:57
· 3286 commits to release since this release
v10.0.0
9a030e1
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.

This release is much more substantial than previous releases, including major new features, the promotion of several previously experimental features to official ones, and numerous fixes of minor issues that had accumulated over time.

  • complete overhaul of
    • strucuture level elaboration and type checking
    • handling of structure declarations in theories and morphisms
    • handling includes of parametric theories
  • support for theory expressions (see MMT/examples)
  • smarter type inference for defined, untyped constants
  • simplifier now supports definition expansion (optionally)
  • new lexing rule for flexible string interpolation (see MMT/examples for strings and quotation)
  • TGView improved
    • allow sharing graphs via email, facebook, twitter, etc.
    • allow downloading as json and embedding in HTML
    • can upload custom graphs as json
  • jEdit improvements
    • display of elaborated declarations in sidekick
    • display of rendered expressions as tooltips in sidekick
    • more precise highlighting of errors
    • jEdit action for normalization of the selected expression (bound to CS-N by default)
  • travis test improvements
    • addition of proper test structure
    • cleaned up tests for API and LF
    • added alignment tests
    • preliminary co-versioning of archives and MMT system
  • cleanup of localmh functionality
    • replaces previous oaf shell action
    • now possible to install multiple archives at once
  • dependency Updates
    • upgrade sbt to 1.1.1
    • upgrade Scala to 2.12
    • upgrade tiscaf
    • remove non-funcational plugins: GuidedTours, leo
  • proper versioning of MMT within sbt
  • use the MMT logo within the webserver
  • re-styling and documentation cleanup
  • lots of bugfixes and cleanup
Assets 3