| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| batch.zip | 2240 | 27-Aug-1992 00:00 |
| doc_dvi.zip | 251K | 27-Aug-1992 00:00 |
| doc_tex.zip | 183K | 27-Aug-1992 00:00 |
| inrsinpu.zip | 33K | 27-Aug-1992 00:00 |
| inrstex.zip | 108K | 27-Aug-1992 00:00 |
| readme.txt | 10K | 27-Aug-1992 00:00 |
| texgraph.zip | 180K | 27-Aug-1992 00:00 |