Skip to content
Snippets Groups Projects
Select Git revision
8 results

tlc4b

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Update to tla2bAST 1.1.3 and corresponding parsers
    dgelessus authored 
    This is the last tla2bAST version compatible with Java 7. (Not that
anyone really cares probably...)
    f082b92f
    History
    user avatar f082b92f
    History
    Name Last commit Last update