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

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