menu
New MMT-Plugin for IntelliJ by
M.Sc. Dennis Müller
on
19 Dec 2018
in
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