adapt classifiers methods to bl methods; register ModelCheckerTool via plugin.xml
extract platform part from modelchecker
extract platform part from modelchecker
fix progress reporting in modelchecker; MPS.IDEA depends on Annotations
fix re-run/settigns in Usages view
fix progress reporting in modelchecker; MPS.IDEA depends on Annotations
add idea plugin facet to jetbrains.mps.ide.modelchecker
Merge 'origin/master'
fix ide.build, regenerate
remove console plugin from build
Merge branch 'master'