| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| figures/ | - | 2017-Apr-23 10:11 |
| tlaunch.pdf | 330268 | 2017-Jun-29 09:10 |
| tlaunch.exe | 117760 | 2017-Jun-29 09:10 |
| tlaunch-0.5.3-src.zip | 69371 | 2017-Jun-29 09:10 |
| tlaunch.tex | 42961 | 2017-Jun-28 14:44 |
| COPYING | 35147 | 2016-Feb-20 09:07 |
| rug.zip | 10600 | 2017-Jun-29 09:10 |
| tlaunchmode.pl | 3743 | 2017-Jan-28 21:20 |
| tlaunch.ini | 3104 | 2017-Jun-29 08:41 |
| Changes | 1340 | 2017-Jun-29 09:09 |
| README | 999 | 2017-Apr-23 18:51 |