Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - tex.dbs 1988-05-07 02:00 1.3K tex.dfv 1988-05-07 02:00 768 tex_dbs.txt 1988-05-07 02:00 2.4K word2tex.exe 1988-04-27 02:00 4.8K word2tex.pas 1988-04-27 02:00 4.9K wtexinfo.dvi 1989-12-07 01:00 18K wtexinfo.tex 1989-12-07 01:00 11K wtexinfo.txt 1989-12-07 01:00 12K