Skip to content
Snippets Groups Projects
Normal view Permalink
2018-12-19-IntelliJ.md 448 B
Newer Older
  • Learn to ignore specific revisions
    • Dennis Müller's avatar
    news
    Dennis Müller committed
    1 2 3 4 5 6 7 8 9 10 
    ---
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/)