Skip to content
Snippets Groups Projects
Select Git revision
  • a58420520e37145376d051934c7b78870f0ee8e7
  • develop default protected
  • master protected
  • 3.6.0
  • 3.5.1
  • 3.5.0
  • 3.4.1
  • 3.4.0
8 results

README.md

  • user avatar
    Jens Bendisposto authored
    13b20432
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.

    Camille

    The Camille Editor for Rodin.

    Build Status

    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 http://nightly.cobra.cs.uni-duesseldorf.de/camille/

    Contributing/Bugs

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