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