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

camille

  • Clone with SSH
  • Clone with HTTPS
    • Name Last commit Last update
    org.eventb.texteditor.feature
    org.eventb.texteditor.parent
    org.eventb.texteditor.parsers
    org.eventb.texteditor.repository
    org.eventb.texteditor.ui
    org.eventb.texttools
    .gitignore
    .gitlab-ci.yml
    README.md
    README.md

    Camille

    The Camille Editor for Rodin.

    Build Status

    Installing

    In Rodin, go to Help > Install New Software... and select the Camille update site. The update site should be preconfigured in Rodin - if not, add it using the URL https://stups.hhu-hosting.de/rodin/camille/release/.

    Building Camille

    Building the project requires Java 11 or later (tested with Java 17) and Maven 3.6.3 or later (tested with Maven 3.9). (At runtime, the plugin is still compatible with Java 8.)

    $ cd org.eventb.texteditor.parent
$ mvn clean verify

    This will produce a p2 repository (update site) in org.eventb.texteditor.repository/target/repository

    We autmatically produce nightly builds that can be installed using the repository located at https://stups.hhu-hosting.de/rodin/camille/develop/.

    Contributing/Bugs

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