| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
| 2011-04-15 | Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX) | Antoine Lubineau |