Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - tex2rtf1.22_sun_nogui.gz 1995-02-19 01:00 64K tex2rtf1.42_sun_motif.tar.gz 1995-02-19 01:00 1.0M tex2rtf1.42_sun_ol.tar.gz 1995-02-19 01:00 923K tex2rtf1.53_nogui_sun.gz 1996-02-26 01:00 119K