Name                    Last modified       Size  Description

 Parent Directory        29-Nov-2002 17:37      -  
 texhax.03               23-Jan-1995 00:00     6k  
 texhax.04               30-Jan-1995 00:00     8k  
 texhax.07               04-Apr-1995 00:00     9k  
 texhax.01               09-Jan-1995 00:00    12k  
 texhax.08               04-Apr-1995 00:00    12k  
 texhax.05               10-Feb-1995 00:00    12k  
 texhax.14               31-Oct-1995 00:00    13k  
 texhax.10               17-May-1995 00:00    13k  
 texhax.17               19-Dec-1995 00:00    13k  
 texhax.06               01-Mar-1995 00:00    13k  
 texhax.18               19-Dec-1995 00:00    13k  
 texhax.02               16-Jan-1995 00:00    14k  
 texhax.09               02-May-1995 00:00    15k  
 texhax.13               14-Aug-1995 00:00    28k  
 texhax.15               31-Oct-1995 00:00    31k  
 texhax.12               14-Jul-1995 00:00    36k  
 texhax.11               14-Jul-1995 00:00    44k  
 texhax.16               19-Dec-1995 00:00    54k