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

 Name                                     Last modified      Size  Description
 Parent Directory                                              -   
 trip.pl                                  1989-10-06 16:35   17K  
 tripman.tex                              1992-01-13 23:55   19K  
 tripos.tex                               1992-01-26 06:09   59   
 trip.tfm                                 2002-12-21 01:07  3.0K  
 glue.web                                 2021-01-11 08:34   17K  
 trip.tex                                 2021-01-14 22:12   22K  
 tripin.log                               2021-01-26 10:21   13K  
 tripin.fot                               2021-01-26 10:21  2.8K  
 trip.dvi                                 2021-01-26 10:21  2.9K  
 trip.fot                                 2021-01-26 10:21  2.4K  
 trip.typ                                 2021-01-26 10:21   18K  
 texbook.tex                              2021-01-26 16:24  1.3M  
 tex.web                                  2021-02-05 05:38  1.0M  
 trip.log                                 2021-02-05 23:00  180K