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

 Name                                     Last modified      Size  Description
 Parent Directory                                              -   
 trapman.tex                              1993-09-21 22:41   18K  
 trapin.log                               2021-01-26 10:22  4.5K  
 trapin.fot                               2021-01-26 10:22  2.2K  
 trap.typ                                 2021-01-26 10:22  4.4K  
 trap.pl                                  2008-03-17 08:42   10K  
 trap.mf                                  1998-08-09 03:20   12K  
 trap.log                                 2021-01-26 10:22  119K  
 trap.fot                                 2021-01-26 10:22  1.7K  
 trap.72270gf                             2021-01-26 10:22  1.0K  
 mfbook.tex                               2021-01-25 18:04  922K  
 mf.web                                   2021-02-05 06:52  898K