The Camille Editor for Rodin.
Maven 3 is required to build the project:
cd org.eventb.texteditor.parent mvn clean verify
This will produce an updatesite in org.eventb.texteditor.repository/target
We autmatically produce nightly builds that can be installed using the update site located at https://www3.hhu.de/stups/rodin/camille/nightly/
Pull requests are very welcome. Suggestions for new extensions and known bugs are tracked on Github