| Name | Format | # Files | Size | Date |
|---|---|---|---|---|
| iv31dbin.tgz | GZip archive | 1 | 780.8 KB | 1994-06-27 |
| iv31doc.tgz | GZip archive | 1 | 433.9 KB | 1994-06-27 |
| iv31inc.tgz | GZip archive | 1 | 173.6 KB | 1994-06-27 |
| oi40misc.tgz | GZip archive | 1 | 28.3 KB | 1994-06-27 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| xdevelo5.idx | Text File | 5 | 300 b | 1994-06-27 |