Child pages
  • What's new in MPS 2018.3 (draft)

Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.


  • First option just add all MPS tips to final distribution. This is default option for build script generated with wizard.
  • Second one required manually created folder with correct structure of tips and IdeTipsAndTricks.xml - correct structure can that can be obtained from mps-tips.jar itself. You need folder that contains html files, css and images folders.
  • Last option allows to use and jetbrains.mps.core.xml languages to quickly create basic tips in MPS itself.