Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
uktex87.idx | 1992-09-27 00:00 | 10K | ||
uktex88.idx | 1992-09-27 00:00 | 55K | ||
uktex89.idx | 1992-09-27 00:00 | 88K | ||
texhax92.idx | 1992-12-11 00:00 | 41K | ||
uktex92.idx | 1992-12-24 00:00 | 119K | ||
texhax87.idx | 1993-05-31 00:00 | 200K | ||
texhax88.idx | 1993-05-31 00:00 | 270K | ||
texhax89.idx | 1993-05-31 00:00 | 239K | ||
texhax90.idx | 1993-05-31 00:00 | 113K | ||
texhax91.idx | 1993-05-31 00:00 | 90K | ||
uktex90.idx | 1993-05-31 00:00 | 81K | ||
uktex91.idx | 1993-05-31 00:00 | 103K | ||
texhax93.idx | 1993-12-24 00:00 | 41K | ||
uktex93.idx | 1993-12-24 00:00 | 76K | ||
texhax94.idx | 1995-01-08 00:00 | 25K | ||
uktex94.idx | 1995-01-08 00:00 | 50K | ||
texhax95.idx | 1995-12-18 00:00 | 30K | ||
texhax96.idx | 1997-03-01 00:00 | 12K | ||