ftp.ntua.gr:/mirror/ctan/systems/knuth/dist/mf/ |
Name Last modified Size DescriptionApache/2.2 Server at ftp.ntua.gr Port 80
Parent Directory - mf.web 05-Feb-2021 08:52 898K mfbook.tex 25-Jan-2021 20:04 922K trap.72270gf 26-Jan-2021 12:22 1.0K trap.fot 26-Jan-2021 12:22 1.7K trap.log 26-Jan-2021 12:22 119K trap.mf 09-Aug-1998 06:20 12K trap.pl 17-Mar-2008 10:42 10K trap.typ 26-Jan-2021 12:22 4.4K trapin.fot 26-Jan-2021 12:22 2.2K trapin.log 26-Jan-2021 12:22 4.5K trapman.tex 22-Sep-1993 01:41 18K