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

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