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

org.eventb.texttools

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Update EventB EMF version ranges to allow version 7
    dgelessus authored 
    Despite the major version bump, the EMF model and Java API *seem* to be
backwards-compatible, at least for our purposes.

This fixes the version conflict that prevented installing Camille
together with current versions of CamilleX.
    6f56d009
    History
    user avatar 6f56d009
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.