../ doc.gid 01-Feb-1994 19:50 1902 eufrak.gid 01-Feb-1994 19:50 1330 euscript.gid 01-Feb-1994 19:50 1226 exscale.gid 01-Feb-1994 19:50 1593 ifthen.gid 01-Feb-1994 19:50 1713 latexsym.gid 01-Feb-1994 19:50 969 newlfont.gid 01-Feb-1994 19:50 1068 oldgerm.gid 01-Feb-1994 19:48 1983 oldlfont.gid 01-Feb-1994 19:50 1213 pandora.gid 01-Feb-1994 19:45 2017 tracefnt.gid 01-Feb-1994 19:50 1105 varioref.gid 01-Feb-1994 19:50 1778