Name                    Last modified       Size  Description

 Parent Directory        29-Nov-2002 17:37      -  
 texhax.14               01-Aug-2000 00:00     9k  
 texhax.13               01-Jun-2000 00:00    15k  
 texhax.12               01-Jun-2000 00:00    14k  
 texhax.11               21-Dec-1999 00:00     2k  
 texhax.10               01-Dec-1999 00:00     9k  
 texhax.09               06-Oct-1999 00:00     9k  
 texhax.08               09-Aug-1999 00:00     5k  
 texhax.07               23-Jul-1999 00:00     8k  
 texhax.06               05-Jun-1999 00:00    12k  
 texhax.05               10-May-1999 00:00    16k  
 texhax.04               31-Mar-1999 00:00     8k  
 texhax.03               05-Mar-1999 00:00     6k  
 texhax.02               13-Feb-1999 00:00     8k  
 texhax.01               15-Jan-1999 00:00     7k