../ figures/ 23-Apr-2017 10:11 - COPYING 10-Mar-2024 03:38 35147 Changes 29-Jun-2017 09:09 1340 README 23-Apr-2017 18:51 999 rug.zip 29-Jun-2017 09:10 10600 tlaunch-0.5.3-src.zip 29-Jun-2017 09:10 69371 tlaunch.exe 29-Jun-2017 09:10 117760 tlaunch.ini 29-Jun-2017 08:41 3104 tlaunch.pdf 29-Jun-2017 09:10 330268 tlaunch.tex 28-Jun-2017 14:44 42961 tlaunchmode.pl 28-Jan-2017 21:20 3743