| Name | Format | # Files | Size | Date |
|---|---|---|---|---|
| iv31dbin.tgz | GZip archive | 1 | 800KB | 1994-06-27 |
| iv31doc.tgz | GZip archive | 1 | 444KB | 1994-06-27 |
| iv31inc.tgz | GZip archive | 1 | 178KB | 1994-06-27 |
| oi40misc.tgz | GZip archive | 1 | 29KB | 1994-06-27 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| xdevelo5.idx | Text File | 5 | 300b | 1994-06-27 |