Index of /pub/TeX/tex-archive/systems/knuth/dist/tex

 Name                                     Last modified      Size  Description
 Parent Directory                                              -   
 glue.web                                 25-May-1991 11:05   17K  
 tex.web                                  06-Mar-2008 01:07  1.0M  
 texbook.tex                              02-Mar-2008 01:49  1.3M  
 trip.fot                                 17-Mar-2008 10:49  2.4K  
 trip.log                                 17-Mar-2008 10:48  180K  
 trip.pl                                  06-Oct-1989 18:35   17K  
 trip.tex                                 23-Dec-2002 21:36   22K  
 trip.tfm                                 21-Dec-2002 03:07  3.0K  
 trip.typ                                 17-Mar-2008 10:59   18K  
 tripin.log                               17-Mar-2008 10:46   13K  
 tripman.tex                              14-Jan-1992 01:55   19K  
 tripos.tex                               26-Jan-1992 08:09   59