Name                    Last modified       Size  Description

 Parent Directory        29-Nov-2002 18:31      -  
 00Description           19-Jul-1996 00:00     1k  
 texhax87.idx            01-Jun-1993 00:00   200k  
 texhax88.idx            01-Jun-1993 00:00   270k  
 texhax89.idx            01-Jun-1993 00:00   239k  
 texhax90.idx            01-Jun-1993 00:00   113k  
 texhax91.idx            01-Jun-1993 00:00    90k  
 texhax92.idx            11-Dec-1992 00:00    41k  
 texhax93.idx            24-Dec-1993 00:00    41k  
 texhax94.idx            09-Jan-1995 00:00    25k  
 texhax95.idx            19-Dec-1995 00:00    30k  
 texhax96.idx            01-Mar-1997 00:00    12k  
 uktex87.idx             27-Sep-1992 00:00    10k  
 uktex88.idx             27-Sep-1992 00:00    55k  
 uktex89.idx             27-Sep-1992 00:00    88k  
 uktex90.idx             01-Jun-1993 00:00    81k  
 uktex91.idx             01-Jun-1993 00:00   103k  
 uktex92.idx             24-Dec-1992 00:00   119k  
 uktex93.idx             24-Dec-1993 00:00    76k  
 uktex94.idx             09-Jan-1995 00:00    50k