Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 02-Dec-2002 12:44 -
![[ ]](/icons/unknown.gif){kind=icon}
mbatoms.mf 30-Jun-2002 16:00 37k
mbcodes.mf 30-Jun-2002 16:00 4k
mbglyphs.mf 30-Jun-2002 16:00 20k
mbnums.mf 30-Jun-2002 16:00 10k
mbparmb.mf 30-Jun-2002 16:00 3k
mbparmm.mf 30-Jun-2002 16:00 3k
mbparms.mf 30-Jun-2002 16:00 3k
mbpunc.mf 30-Jun-2002 16:00 8k
![[TXT]](/icons/text.gif){kind=icon}
mkmlsmf.pl 30-Jun-2002 16:00 3k