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