| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-03-17 | Add tlc-dist-* | David Barri | |
| 2019-03-17 | Add tlc-colour | David Barri | |
| 2019-02-24 | Fix installation | David Barri | |
| 2019-02-24 | Ahhh... there's a .SRCINFO file too! | David Barri | |
| 2019-02-24 | Revise and update | 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 | Fixed small typo | Antoine Lubineau | |
| 2011-04-15 | Changed depends to java-runtime (more generic), removed unnecessary | Antoine Lubineau | |
| function. | |||
| 2011-04-15 | Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX) | Antoine Lubineau | |