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