| File Name ↓ | File Size ↓ | Date ↓ |
|---|
| Parent directory/ | - | - |
| texhax87.idx | 200.3 KiB | May 31, 1993 |
| texhax88.idx | 270.5 KiB | May 31, 1993 |
| texhax89.idx | 239.2 KiB | May 31, 1993 |
| texhax90.idx | 112.9 KiB | May 31, 1993 |
| texhax91.idx | 89.7 KiB | May 31, 1993 |
| texhax92.idx | 40.6 KiB | Dec 11, 1992 |
| texhax93.idx | 41.1 KiB | Dec 24, 1993 |
| texhax94.idx | 24.7 KiB | Jan 8, 1995 |
| texhax95.idx | 30.4 KiB | Dec 18, 1995 |
| texhax96.idx | 11.6 KiB | Mar 1, 1997 |
| uktex87.idx | 10.2 KiB | Sep 27, 1992 |
| uktex88.idx | 54.6 KiB | Sep 27, 1992 |
| uktex89.idx | 87.7 KiB | Sep 27, 1992 |
| uktex90.idx | 80.8 KiB | May 31, 1993 |
| uktex91.idx | 102.9 KiB | May 31, 1993 |
| uktex92.idx | 119.5 KiB | Dec 24, 1992 |
| uktex93.idx | 75.7 KiB | Dec 24, 1993 |
| uktex94.idx | 49.5 KiB | Jan 8, 1995 |