Name                    Last modified       Size  Description

 Parent Directory        29-Nov-2002 17:37      -  
 texhax.11.gz            08-Feb-1994 00:00    21k  
 texhax.10.gz            08-Feb-1994 00:00    15k  
 texhax.12.gz            08-Feb-1994 00:00    14k  
 texhax.15.gz            08-Feb-1994 00:00    12k  
 texhax.21.gz            08-Feb-1994 00:00    11k  
 texhax.20.gz            08-Feb-1994 00:00    10k  
 texhax.09.gz            08-Feb-1994 00:00    10k  
 texhax.07.gz            08-Feb-1994 00:00     9k  
 texhax.22.gz            08-Feb-1994 00:00     9k  
 texhax.17.gz            08-Feb-1994 00:00     9k  
 texhax.08.gz            08-Feb-1994 00:00     8k  
 texhax.02.gz            08-Feb-1994 00:00     8k  
 texhax.05.gz            08-Feb-1994 00:00     8k  
 texhax.06.gz            08-Feb-1994 00:00     7k  
 texhax.03.gz            08-Feb-1994 00:00     7k  
 texhax.13.gz            08-Feb-1994 00:00     7k  
 texhax.14.gz            08-Feb-1994 00:00     6k  
 texhax.16.gz            08-Feb-1994 00:00     6k  
 texhax.04.gz            08-Feb-1994 00:00     6k  
 texhax.01.gz            08-Feb-1994 00:00     5k  
 texhax.19.gz            08-Feb-1994 00:00     5k  
 texhax.18.gz            08-Feb-1994 00:00     2k