| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| figures/ | - | Apr 23, 2017 |
| README | 999 B | Apr 23, 2017 |
| Changes | 1.3 KiB | Jun 29, 2017 |
| tlaunch.ini | 3.0 KiB | Jun 29, 2017 |
| tlaunchmode.pl | 3.7 KiB | Jan 28, 2017 |
| rug.zip | 10.4 KiB | Jun 29, 2017 |
| COPYING | 34.3 KiB | Feb 20, 2016 |
| tlaunch.tex | 42.0 KiB | Jun 28, 2017 |
| tlaunch-0.5.3-src.zip | 67.7 KiB | Jun 29, 2017 |
| tlaunch.exe | 115.0 KiB | Jun 29, 2017 |
| tlaunch.pdf | 322.5 KiB | Jun 29, 2017 |