| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| texgraph.zip | 184639 | 1992-Aug-27 00:00 |
| readme.txt | 10203 | 1992-Aug-27 00:00 |
| inrstex.zip | 110879 | 1992-Aug-27 00:00 |
| inrsinpu.zip | 33913 | 1992-Aug-27 00:00 |
| doc_tex.zip | 187720 | 1992-Aug-27 00:00 |
| doc_dvi.zip | 256932 | 1992-Aug-27 00:00 |
| batch.zip | 2240 | 1992-Aug-27 00:00 |