frans@origin.nl (04/22/91)
Hello, I'm wondering whether the cmman font is the same font as manfnt. Cmman.tfm appears in some archives, but I don't see any cmman.mf; on the other hand, manfnt.mf is on almost all FTP sites.... If somebody can help me, best greetings, Francois Staes Origin/Technology Support Eindhoven, The Netherlands