Snapshot 2020-07-02
Pre-release
Pre-release
·
754 commits
to master
since this release
Migrated to MPS 2020.1. (works with MPS 2020.2 as well)
New packaging of plugins (clones, mutants, testing) - now all plugins can be downloaded together.