Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - batch.zip 1992-08-27 02:00 2.2K readme.txt 1992-08-27 02:00 10K inrsinpu.zip 1992-08-27 02:00 33K inrstex.zip 1992-08-27 02:00 108K texgraph.zip 1992-08-27 02:00 180K doc_tex.zip 1992-08-27 02:00 183K doc_dvi.zip 1992-08-27 02:00 251K