| Name | Format | # Files | Size | Date |
|---|---|---|---|---|
| DVIDRVMA.ZIP | PKZip Archive | 1 | 182KB | 1993-06-11 |
| GBLATEX.ZIP | PKZip Archive | 1 | 216KB | 1993-06-11 |
| GBTEX.ZIP | PKZip Archive | 1 | 133KB | 1993-06-11 |
| GLATEX.ZIP | PKZip Archive | 1 | 257KB | 1993-06-11 |
| GTEX.ZIP | PKZip Archive | 1 | 177KB | 1993-06-11 |
| LKURZ.ZIP | PKZip Archive | 1 | 34KB | 1993-06-11 |
| WEB.ZIP | PKZip Archive | 1 | 130KB | 1993-06-11 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| file_id.diz | Text File | 2 | 10b | 1987-07-17 |