news

_posts/2018-12-18-MMTVersion.md

+---
+layout: post
+author: dmueller
+title: "New MMT Version (15.0.0) Released"
+tags: 
+   - Announcements
+---
+A new [MMT Version (15.0.0)](https://github.com/UniFormal/MMT/releases/tag/v15.0.0) has been released.

_posts/2018-12-19-IntelliJ.md

+---
+layout: post
+author: dmueller
+title: "New MMT-Plugin for IntelliJ"
+tags: 
+   - Announcements
+---
+A new [MMT-Plugin](https://plugins.jetbrains.com/plugin/11450-mmt) for the [IntelliJ IDE](https://www.jetbrains.com/idea/) has been released, adding usual IDE-functionality (syntax highlighting, cross referencing, project management etc.) for MMT to the IDE.
+
+Documentation and sources available [here](https://github.com/UniFormal/IntelliJ-MMT/)