mbeddr 0.7-EAP

@markusvoelter markusvoelter released this Jun 26, 2014 · 11543 commits to master since this release

This is the first mbeddr release on the 3.1 version of MPS. It also contains numerous improvements of the platform. This package contains the distribution that includes the plugins, the user guide and the tutorial. The debian package only contains the the plugins and requires MPS be installed via a debian package.