summaryrefslogtreecommitdiff
path: root/support/tlaunch
ModeNameSize
-rw-r--r--COPYING35147logplain
-rw-r--r--Changes1340logplain
-rw-r--r--README999logplain
d---------figures130logplain
-rw-r--r--tlaunch.ini3104logplain
-rw-r--r--tlaunch.pdf330268logplain
-rw-r--r--tlaunch.tex42961logplain
-rw-r--r--tlaunchmode.pl3743logplain