Select Git revision
tla2bAST
-
-
- Open in your IDE
- Download source code
Name | Last commit | Last update |
---|
Ab 01.06.2025 wird in der Informatik 2FA/MFA erzwungen. Die Einrichtung wird vorher empfohlen, optimalerweise direkt mit Fallback (Hardwaretoken UND TOTP-/Authenticator App).
The prob_prolog Gradle build creates its own TLA2B.jar from the released jars on Maven Central, not using this task.
Name | Last commit | Last update |
---|---|---|