../ manfnt.dtx 05-Jul-1999 01:35 21K manfnt.ins 05-Jul-1999 01:37 1768 manfnt.pdf 04-Apr-2020 00:59 244K