Index of /ctan/systems/knuth/local/man1
 Name                       Last modified      Size  Description
 Parent Directory                                -   
 dvitype.1                  1989-10-21 19:07  1.2K  
 gftodvi.1                  1989-10-21 19:09  2.7K  
 gftopk.1                   1989-10-21 19:09  1.2K  
 gftype.1                   1989-10-21 19:14  1.2K  
 mf.1                       1989-10-20 03:15   13K  
 mft.1                      1989-10-21 19:11  1.9K  
 pktype.1                   1989-10-21 18:59  1.1K  
 pltotf.1                   1989-10-21 19:12  839   
 pooltype.1                 1989-10-21 19:13  552   
 tangle.1                   1989-10-22 01:28  3.3K  
 tex.1                      1989-10-30 05:13  6.4K  
 tftopl.1                   1989-10-21 19:05  933   
 vftovp.1                   1989-12-31 08:07  791   
 vptovf.1                   1989-12-31 08:14  848   
 weave.1                    1989-10-22 01:28  3.3K  
 web.1                      1989-10-22 01:28  3.3K  
Apache/2.4.58 (Ubuntu) Server at de.aminet.net Port 80