../ fontdoc.sty 07-Jul-1998 10:12 5599 fontinst.ini 07-Jul-1998 10:12 3081 fontinst.sty 07-Jul-1998 10:12 64749 trig.sty 29-Jun-1998 23:17 2865 xfntinst.sty 07-Jul-1998 10:12 67947