../ binhex.dtx 03-Aug-2001 03:12 20380 binhex.ins 03-Aug-2001 03:12 884 binhex.pdf 22-Jul-2005 19:32 151153