Name Last modified Size Description
Parent Directory -
uktex87.idx 27-Sep-1992 03:00 10K
uktex88.idx 27-Sep-1992 03:00 55K
uktex89.idx 27-Sep-1992 03:00 88K
texhax92.idx 11-Dec-1992 02:00 41K
uktex92.idx 24-Dec-1992 02:00 119K
texhax87.idx 31-May-1993 03:00 200K
texhax88.idx 31-May-1993 03:00 270K
texhax89.idx 31-May-1993 03:00 239K
texhax90.idx 31-May-1993 03:00 113K
texhax91.idx 31-May-1993 03:00 90K
uktex90.idx 31-May-1993 03:00 81K
uktex91.idx 31-May-1993 03:00 103K
texhax93.idx 24-Dec-1993 02:00 41K
uktex93.idx 24-Dec-1993 02:00 76K
texhax94.idx 08-Jan-1995 02:00 25K
uktex94.idx 08-Jan-1995 02:00 50K
texhax95.idx 18-Dec-1995 02:00 30K
texhax96.idx 01-Mar-1997 02:00 12K
Apache/2.2 Server at ftp.ntua.gr Port 80