Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - doc_dvi.zip 1992-08-27 01:00 251K doc_tex.zip 1992-08-27 01:00 183K texgraph.zip 1992-08-27 01:00 180K inrstex.zip 1992-08-27 01:00 108K inrsinpu.zip 1992-08-27 01:00 33K readme.txt 1992-08-27 01:00 10K batch.zip 1992-08-27 01:00 2.2K