Age | Commit message (Expand) | Author |
---|---|---|
2020-12-09 | Support TLA_EXTRA_CLASSPATH | David Barri |
2020-12-08 | Add tla for the repl | David Barri |
2020-12-07 | Seems the perl -0 flag doesn't work with new version of tlc | David Barri |
2020-12-07 | Upgrade to 1.7.1 | David Barri |
2020-05-23 | Upgrade to 1.7.0 | David Barri |
2019-08-19 | Release v1.6.0-2 | David Barri |
2019-03-22 | Fix installation | David Barri |
2019-03-22 | Release v1.5.7-2 | David Barri |
2019-03-17 | Add tlc-colour | David Barri |
2019-02-24 | Ahhh... there's a .SRCINFO file too! | David Barri |
2013-04-09 | tla-tools: 2.1.3 -> 2.1.5 | Antoine Lubineau |
2012-10-14 | tla-tools: 2.1.0 -> 2.1.3 | Antoine Lubineau |
2012-01-08 | tla-tools: sha256sums have changed | Antoine Lubineau |
2011-04-15 | Changed depends to java-runtime (more generic), removed unnecessary | Antoine Lubineau |
2011-04-15 | Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX) | Antoine Lubineau |