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).

An error occurred while fetching folder content.

tla2bAST

fix new UNCHANGED treatment also for tuples

Michael Leuschel authored 4 years ago

e.g., required for Bakery example

42f4b4b0

History

42f4b4b0 4 years ago

History

Name	Last commit	Last update

Admin message

tla2bAST