Download Latest Version tla2tools.jar (2.3 MB)
Email in envelope

Get an email when there's a new version of tlaplus

Home / v1.7.3
Name Modified Size InfoDownloads / Week
Parent folder
tla2tools.jar 2024-08-02 2.3 MB
0
README.md 2023-03-20 421 Bytes
0
The Ulpian release source code.tar.gz 2023-03-20 88.0 MB
0
The Ulpian release source code.zip 2023-03-20 90.9 MB
0
Totals: 4 Items   181.1 MB 0

The Ulpian release is based on the 1.7.3 branch and fixes the issue below.

Changelog

Checksums

sha1sum|file ------------ | -------------cea5201da2abfae8933ce80d4f8f92c94e646aa4|tla2tools.jar

Source: README.md, updated 2023-03-20