Name Last modified Size Description
Parent Directory - batch.zip 1992-08-27 09:00 2.2K readme.txt 1992-08-27 09:00 10K inrsinpu.zip 1992-08-27 09:00 33K inrstex.zip 1992-08-27 09:00 108K texgraph.zip 1992-08-27 09:00 180K doc_tex.zip 1992-08-27 09:00 183K doc_dvi.zip 1992-08-27 09:00 251K