summarylogtreecommitdiffstats
path: root/.SRCINFO
AgeCommit message (Expand)Author
2024-08-17Upgrade to 1.7.4David Barri
2024-08-06Upgrade to 1.7.3David Barri
2024-08-03Upgrade to 1.7.2David Barri
2023-03-22Upgrade to 1.7.3David Barri
2022-02-07Upgrade to 1.7.2David Barri
2021-04-12Upgrade to 1.7.1David Barri
2020-12-09Support TLA_EXTRA_CLASSPATHDavid Barri
2020-12-08Add tla for the replDavid Barri
2020-12-07Seems the perl -0 flag doesn't work with new version of tlcDavid Barri
2020-12-07Upgrade to 1.7.1David Barri
2020-05-23Upgrade to 1.7.0David Barri
2019-08-19Release v1.6.0-2David Barri
2019-03-22Fix installationDavid Barri
2019-03-22Release v1.5.7-2David Barri
2019-03-17Add tlc-colourDavid Barri
2019-02-24Ahhh... there's a .SRCINFO file too!David Barri
2013-04-09tla-tools: 2.1.3 -> 2.1.5Antoine Lubineau
2012-10-14tla-tools: 2.1.0 -> 2.1.3Antoine Lubineau
2012-01-08tla-tools: sha256sums have changedAntoine Lubineau
2011-04-15Changed depends to java-runtime (more generic), removed unnecessaryAntoine Lubineau
2011-04-15Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX)Antoine Lubineau