| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| texhax87.idx | 200.3 KiB | 1993-05-31 00:00 |
| texhax88.idx | 270.5 KiB | 1993-05-31 00:00 |
| texhax89.idx | 239.2 KiB | 1993-05-31 00:00 |
| texhax90.idx | 112.9 KiB | 1993-05-31 00:00 |
| texhax91.idx | 89.7 KiB | 1993-05-31 00:00 |
| texhax92.idx | 40.6 KiB | 1992-12-11 00:00 |
| texhax93.idx | 41.1 KiB | 1993-12-24 00:00 |
| texhax94.idx | 24.7 KiB | 1995-01-08 00:00 |
| texhax95.idx | 30.4 KiB | 1995-12-18 00:00 |
| texhax96.idx | 11.6 KiB | 1997-03-01 00:00 |
| uktex87.idx | 10.2 KiB | 1992-09-27 00:00 |
| uktex88.idx | 54.6 KiB | 1992-09-27 00:00 |
| uktex89.idx | 87.7 KiB | 1992-09-27 00:00 |
| uktex90.idx | 80.8 KiB | 1993-05-31 00:00 |
| uktex91.idx | 102.9 KiB | 1993-05-31 00:00 |
| uktex92.idx | 119.5 KiB | 1992-12-24 00:00 |
| uktex93.idx | 75.7 KiB | 1993-12-24 00:00 |
| uktex94.idx | 49.5 KiB | 1995-01-08 00:00 |