Skip to content
Snippets Groups Projects
Select Git revision
  • c57861cfa068f7ceb41a1f69df23fd05a1d1fa30
  • master default protected
  • 3.8.0
  • 3.7.0
  • 3.6.0
  • 3.5.0
  • 3.4.0
  • 3.3.0
  • 3.2.1
  • 3.2.0
10 results

src

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Update to Rodin 3.6 sources
    dgelessus authored 
    This officially requires Java 11, but I'm leaving the Gradle setting at
Java 8 for now, because it still seems to build fine...
    c57861cf
    History
    user avatar c57861cf
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    Name Last commit Last update
    ..
    org/eventb