Camille

The Camille Editor for Rodin.

Building Camille

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://stups.hhu-hosting.de/rodin/camille/nightly/

Contributing/Bugs

Pull requests are very welcome. Suggestions for new extensions and known bugs are tracked on Github