../ diskap5 26-Jun-1997 06:00 801 gsfonts3.tgz 21-Jun-1997 06:00 731826 texinfo.tgz 02-Feb-1997 07:00 434781