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