A metamath plugin for Eclipse
See http://emetamath.tirix.org/
This Eclipse plugin allows to edit files written in the Metamath language in the Eclipse IDE. It reuses the same core as MMJ2 and adds nice presentation. Eclipse: http://www.eclipse.org/ Metamath: http://us.metamath.org/ MMJ2: http://wiki.planetmath.org/AsteroidMeta/mmj2/
This plugin is compatible with Eclipse Mars.2 Release (4.5.2), and Java SE 1.8.