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

camille

  • Open with
  • Download source code
  • Your workspaces

      A workspace is a virtual sandbox environment for your code in GitLab.

      No agents available to create workspaces. Please consult Workspaces documentation for troubleshooting.

    • user avatar
    Always inherit groupId and version from parent pom.xml
    dgelessus authored 
    One less thing to update when bumping the version number!
    25a7034d
    History
    user avatar 25a7034d
    History
    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

    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