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