| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| 00index.txt | 130 B | 1994년 07월 22일 08시 49분 |
| diskt3 | 372 B | 1994년 07월 22일 08시 49분 |
| texcmpk.tgz | 676.4 KiB | 1994년 07월 22일 08시 49분 |
| texdoc.tgz | 78.7 KiB | 1994년 07월 22일 08시 49분 |
| texnfss2.tgz | 422.1 KiB | 1994년 07월 22일 08시 49분 |