Skip to content
Snippets Groups Projects
Select Git revision
9 results Searching

tlc4b

  • 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
    Bump version number to 3.6.0
    dgelessus authored 
    Probably a good idea because of the reverted Event-B EMF dependencies.
This also matches what I wrote in the release history.
    9e0355c2
    History
    user avatar 9e0355c2
    History
    Name Last commit Last update