| Name | Last modified | Size |
|---|---|---|
| ../ | ||
| texhax87.idx | 1993/05/31 00:00:00 | 205109 |
| texhax88.idx | 1993/05/31 00:00:00 | 276955 |
| texhax89.idx | 1993/05/31 00:00:00 | 244947 |
| texhax90.idx | 1993/05/31 00:00:00 | 115577 |
| texhax91.idx | 1993/05/31 00:00:00 | 91870 |
| texhax92.idx | 1992/12/11 00:00:00 | 41539 |
| texhax93.idx | 1993/12/24 00:00:00 | 42122 |
| texhax94.idx | 1995/01/08 00:00:00 | 25268 |
| texhax95.idx | 1995/12/18 00:00:00 | 31128 |
| texhax96.idx | 1997/03/01 00:00:00 | 11846 |
| uktex87.idx | 1992/09/27 00:00:00 | 10424 |
| uktex88.idx | 1992/09/27 00:00:00 | 55911 |
| uktex89.idx | 1992/09/27 00:00:00 | 89758 |
| uktex90.idx | 1993/05/31 00:00:00 | 82731 |
| uktex91.idx | 1993/05/31 00:00:00 | 105384 |
| uktex92.idx | 1992/12/24 00:00:00 | 122337 |
| uktex93.idx | 1993/12/24 00:00:00 | 77487 |
| uktex94.idx | 1995/01/08 00:00:00 | 50737 |
This directory on ctan.org. Sizes in bytes, times as CTAN lists them.