| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| texhax87.idx | 205109 | 1993-May-31 09:00 | |
| texhax88.idx | 276955 | 1993-May-31 09:00 | |
| texhax89.idx | 244947 | 1993-May-31 09:00 | |
| texhax90.idx | 115577 | 1993-May-31 09:00 | |
| texhax91.idx | 91870 | 1993-May-31 09:00 | |
| texhax92.idx | 41539 | 1992-Dec-11 09:00 | |
| texhax93.idx | 42122 | 1993-Dec-24 09:00 | |
| texhax94.idx | 25268 | 1995-Jan-08 09:00 | |
| texhax95.idx | 31128 | 1995-Dec-18 09:00 | |
| texhax96.idx | 11846 | 1997-Mar-01 09:00 | |
| uktex87.idx | 10424 | 1992-Sep-27 09:00 | |
| uktex88.idx | 55911 | 1992-Sep-27 09:00 | |
| uktex89.idx | 89758 | 1992-Sep-27 09:00 | |
| uktex90.idx | 82731 | 1993-May-31 09:00 | |
| uktex91.idx | 105384 | 1993-May-31 09:00 | |
| uktex92.idx | 122337 | 1992-Dec-24 09:00 | |
| uktex93.idx | 77487 | 1993-Dec-24 09:00 | |
| uktex94.idx | 50737 | 1995-Jan-08 09:00 | |