summarylogtreecommitdiffstats
path: root/tla-tools
AgeCommit message (Expand)Author
2020-12-09Support TLA_EXTRA_CLASSPATHDavid Barri
2019-03-22Support env vars: TLA_JAVA_{,_OPTS},TLC_{JAVA_,}OPTSDavid Barri
2019-03-17Add tlc-dist-*David Barri