Sep 30, 2016
There is a plugin manager in the preferences of MPS. The problem is, that it doesn't support other plugin repositories properly.
This plugin provides the same plugin manager, but with bugfixes to make it work with the mbeddr plugin repository.
Recent change notes
1.0.1: Support for Java 6 1.0.2: Support for MPS 3.4