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

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