2018-12-19-IntelliJ.md

layout: post
author: dmueller
title: "New MMT-Plugin for IntelliJ"
tags: 
   - Announcements

A new MMT-Plugin for the IntelliJ IDE has been released, adding usual IDE-functionality (syntax highlighting, cross referencing, project management etc.) for MMT to the IDE.

Documentation and sources available here