File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
figures/ | - | 2017-04-23T10:11Z |
rug.zip | 10.4 KiB | 2017-06-29T09:10Z |
tlaunch.pdf | 322.5 KiB | 2017-06-29T09:10Z |
tlaunch.exe | 115.0 KiB | 2017-06-29T09:10Z |
tlaunch-0.5.3-src.zip | 67.7 KiB | 2017-06-29T09:10Z |
Changes | 1.3 KiB | 2017-06-29T09:09Z |
tlaunch.ini | 3.0 KiB | 2017-06-29T08:41Z |
tlaunch.tex | 42.0 KiB | 2017-06-28T14:44Z |
README | 999 B | 2017-04-23T18:51Z |
tlaunchmode.pl | 3.7 KiB | 2017-01-28T21:20Z |
COPYING | 34.3 KiB | 2016-02-20T09:07Z |