Index of /systems/knuth/dist/mf

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] mf.web 2014-01-08 05:13 897K [TXT] mfbook.tex 2014-01-11 18:09 920K [   ] trap.fot 2014-01-08 05:32 1.7K [   ] trap.log 2014-01-08 04:38 119K [   ] trap.mf 1998-08-09 05:20 12K [TXT] trap.pl 2008-03-17 09:42 10K [   ] trap.typ 2014-01-11 19:23 4.4K [   ] trapin.log 2014-01-11 19:22 4.5K [TXT] trapman.tex 1993-09-22 00:41 18K
Apache/2.4.29 (Ubuntu) Server at ctan.mines-albi.fr Port 80