../ fontdoc.sty 29-Jun-1998 23:17 5599 fontinst.ini 29-Jun-1998 23:17 3081 fontinst.sty 29-Jun-1998 23:17 64751 trig.sty 29-Jun-1998 23:17 2865 xfntinst.sty 29-Jun-1998 23:17 67949