Name                    Last modified       Size  Description

 Parent Directory        05-Dec-2002 06:43      -  
 README                  16-Jul-1996 00:00     1k  
 glue.web                25-May-1991 00:00    17k  
 tex.web                 03-Jul-2001 00:00  1004k  
 texbook.tex             09-Aug-1998 00:00   1.3M  
 trip.fot                08-Mar-1995 00:00     2k  
 trip.log                08-Mar-1995 00:00   180k  
 trip.pl                 06-Oct-1989 00:00    17k  
 trip.tex                08-Mar-1995 00:00    22k  
 trip.typ                08-Mar-1995 00:00    18k  
 tripin.log              08-Mar-1995 00:00    13k  
 tripman.tex             13-Jan-1992 00:00    19k  
 tripos.tex              25-Jan-1992 00:00     1k