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