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