../ figures/ 28-Jul-2025 19:35 - COPYING 28-Jul-2025 19:35 35147 Changes 28-Jul-2025 19:35 1340 README 28-Jul-2025 19:35 999 rug.zip 28-Jul-2025 19:35 10600 tlaunch-0.5.3-src.zip 28-Jul-2025 19:35 69371 tlaunch.exe 28-Jul-2025 19:35 117760 tlaunch.ini 28-Jul-2025 19:35 3104 tlaunch.pdf 28-Jul-2025 19:35 330268 tlaunch.tex 28-Jul-2025 19:35 42961 tlaunchmode.pl 28-Jul-2025 19:35 3743