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