Name                    Last modified       Size  Description

 Parent Directory        03-Sep-2009 08:50      -  
 texhax87.idx            31-May-1993 19:00   200k  
 texhax88.idx            31-May-1993 19:00   270k  
 texhax89.idx            31-May-1993 19:00   239k  
 texhax90.idx            31-May-1993 19:00   113k  
 texhax91.idx            31-May-1993 19:00    90k  
 texhax92.idx            10-Dec-1992 19:00    41k  
 texhax93.idx            23-Dec-1993 19:00    41k  
 texhax94.idx            09-Jan-1995 06:16    25k  
 texhax95.idx            19-Dec-1995 09:05    30k  
 texhax96.idx            01-Mar-1997 11:18    12k  
 uktex87.idx             26-Sep-1992 19:00    10k  
 uktex88.idx             26-Sep-1992 19:00    55k  
 uktex89.idx             26-Sep-1992 19:00    88k  
 uktex90.idx             31-May-1993 19:00    81k  
 uktex91.idx             31-May-1993 19:00   103k  
 uktex92.idx             23-Dec-1992 19:00   119k  
 uktex93.idx             23-Dec-1993 19:00    76k  
 uktex94.idx             09-Jan-1995 06:16    50k  

---