../ mbatoms.mf 30-Jun-2002 15:00 37K mbcodes.mf 30-Jun-2002 15:00 3731 mbglyphs.mf 30-Jun-2002 15:00 20K mbnums.mf 30-Jun-2002 15:00 9848 mbparmb.mf 30-Jun-2002 15:00 2740 mbparmm.mf 30-Jun-2002 15:00 2761 mbparms.mf 30-Jun-2002 15:00 2630 mbpunc.mf 30-Jun-2002 15:00 8160 mkmlsmf.pl 30-Jun-2002 15:00 2987