../ manfnt.dtx 04-Jul-1999 18:35 21K manfnt.ins 04-Jul-1999 18:37 1768 manfnt.pdf 03-Apr-2020 17:59 244K