Name                    Last modified       Size  Description

 Parent Directory        12-Mar-2006 10:29      -  
 texhax.01               16-Feb-1996 09:51    20k  
 texhax.02               16-Feb-1996 09:51    14k  
 texhax.03               12-Mar-1996 06:21    23k  
 texhax.04               12-Mar-1996 06:21     8k  
 texhax.05               04-Jul-1996 10:16     8k  
 texhax.06               04-Jul-1996 10:16    15k  
 texhax.07               04-Jul-1996 10:16    13k  
 texhax.08               04-Jul-1996 10:16    13k  
 texhax.09               04-Jul-1996 10:16    16k  
 texhax.10               22-Aug-1996 04:12    12k  
 texhax.11               15-Aug-1996 11:29    14k  
 texhax.12               22-Aug-1996 04:12    11k  
 texhax.13               16-Jan-1997 09:29    15k  
 texhax.14               01-Mar-1997 11:17    11k  
 texhax.15               01-Mar-1997 11:17     7k  

---