Select Git revision
build.gradle
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
This is the last tla2bAST version compatible with Java 7. (Not that anyone really cares probably...)
This is the last tla2bAST version compatible with Java 7. (Not that anyone really cares probably...)