summarylogtreecommitdiffstats
path: root/tlc
AgeCommit message (Collapse)Author
2019-02-24Revise and updateDavid Barri
2011-04-15Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX)Antoine Lubineau