Skip to content
Snippets Groups Projects
Select Git revision
  • 4344eaa3736e28f1329638edf9a08a9fc4262693
  • 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
    path
    Jens Bendisposto authored
    4344eaa3
    History
    user avatar 4344eaa3
    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
    .travis.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 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