| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| RED01GEN.DIS | Text File | 198 | 8KB | 1992-12-30 |
| RED02GEN.DIS | Text File | 636 | 29KB | 1993-02-03 |
| RED03GEN.DIS | Text File | 390 | 16KB | 1993-03-25 |
| RED04GEN.DIS | Text File | 271 | 12KB | 1993-05-25 |
| RED05GEN.DIS | Text File | 764 | 36KB | 1993-05-25 |
| RED06GEN.DIS | Text File | 224 | 9KB | 1993-06-07 |
| RED07GEN.DIS | Text File | 370 | 17KB | 1993-07-19 |
| RED08GEN.DIS | Text File | 689 | 30KB | 1993-09-01 |
| RED09GEN.DIS | Text File | 320 | 13KB | 1993-09-27 |
| RED10GEN.DIS | Text File | 326 | 14KB | 1993-10-15 |
| RED11GEN.DIS | Text File | 170 | 7KB | 1993-11-26 |
| RED12GEN.DIS | Text File | 466 | 20KB | 1992-12-02 |
| USB03GEN.DIS | Text File | 100 | 5KB | 1993-03-25 |
| USB04GEN.DIS | Text File | 61 | 3KB | 1993-05-26 |
| USB05GEN.DIS | Text File | 85 | 4KB | 1993-05-26 |
| USB06GEN.DIS | Text File | 128 | 6KB | 1993-06-07 |
| USB07GEN.DIS | Text File | 38 | 2KB | 1993-07-19 |
| USB08GEN.DIS | Text File | 29 | 1KB | 1993-09-01 |
| USB09GEN.DIS | Text File | 44 | 2KB | 1993-09-27 |
| USB10GEN.DIS | Text File | 62 | 3KB | 1993-10-15 |