Skip to content

Snapshot 2021-02-14

Compare
Choose a tag to compare
@danielratiu danielratiu released this 14 Feb 21:17
· 1061 commits to master since this release

This is mostly a bug-fix release based on MPS 2020.2.3.

  • added initial support to model ontologies
  • various improvements of editors
  • more examples in the safety-tutorial