Name                    Last modified       Size  Description

 Parent Directory        12-Mar-2006 10:29      -  
 texhax.01               01-Mar-1997 11:29    31k  
 texhax.02               01-Mar-1997 11:29    13k  
 texhax.03               17-Apr-1997 10:03     8k  
 texhax.04               17-Apr-1997 10:03    12k  
 texhax.05               02-Jun-1997 08:56    15k  
 texhax.06               02-Aug-1997 08:06    15k  
 texhax.07               29-Aug-1997 06:03     9k  
 texhax.08               23-Sep-1997 04:18     9k  
 texhax.09               15-Oct-1997 05:21    14k  
 texhax.10               04-Nov-1997 11:53     6k  
 texhax.11               22-Dec-1997 06:57    14k  

---