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