Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
README 2008-06-04 17:45 24K
ReadMe.html 2008-06-04 17:46 26K
gpl-3.0.pdf 2008-06-04 17:35 96K
gpl-3.0.tex 2008-06-04 17:34 35K
t2t_readme.pdf 2008-06-04 17:45 115K
t2t_readme.tex 2008-06-04 17:45 28K
t2t_readme.txt 2008-06-04 17:45 24K
txt2tex 2008-06-04 17:45 72K