Name | Last modified | Size | |
---|---|---|---|
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 |