Index of /systems/knuth/dist/mf

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