| Name | Size* | Date UTC | Notes |
|---|---|---|---|
| texhax87.idx | 200 KiB | 1993-May-31 | |
| texhax88.idx | 270 KiB | 1993-May-31 | |
| texhax89.idx | 239 KiB | 1993-May-31 | |
| texhax90.idx | 113 KiB | 1993-May-31 | |
| texhax91.idx | 90 KiB | 1993-May-31 | |
| texhax92.idx | 41 KiB | 1992-Dec-11 | |
| texhax93.idx | 41 KiB | 1993-Dec-24 | |
| texhax94.idx | 25 KiB | 1995-Jan-08 | |
| texhax95.idx | 30 KiB | 1995-Dec-18 | |
| texhax96.idx | 12 KiB | 1997-Mar-01 | |
| uktex87.idx | 10 KiB | 1992-Sep-27 | |
| uktex88.idx | 55 KiB | 1992-Sep-27 | |
| uktex89.idx | 88 KiB | 1992-Sep-27 | |
| uktex90.idx | 81 KiB | 1993-May-31 | |
| uktex91.idx | 103 KiB | 1993-May-31 | |
| uktex92.idx | 119 KiB | 1992-Dec-24 | |
| uktex93.idx | 76 KiB | 1993-Dec-24 | |
| uktex94.idx | 50 KiB | 1995-Jan-08 |
*File sizes in kibibytes.