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