Name Last modified Size Description Parent Directory - manfnt.ins 1999-07-04 20:37 1.7K manfnt.dtx 1999-07-04 20:35 21K