Skip to content
Snippets Groups Projects
Select Git revision
  • 5c1854a61c20403a39741471e7acf22656157812
  • master default protected
  • release/1.1.4
  • release/1.1.3
  • release/1.1.1
  • 1.4.2
  • 1.4.1
  • 1.4.0
  • 1.3.0
  • 1.2.1
  • 1.2.0
  • 1.1.5
  • 1.1.4
  • 1.1.3
  • 1.1.1
  • 1.1.0
  • 1.0.9
  • 1.0.8
  • 1.0.7
  • v1.0.5
  • 1.0.5
21 results

de

  • Open with
  • Download source code
  • Download directory
    • user avatar
    start supporting tuple definitions in UNCHANGED
    Michael Leuschel authored 
    currently only improves error message slightly
    5c1854a6
    History
    user avatar 5c1854a6
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    Name Last commit Last update
    ..
    tla2b
    tla2bAst