../ diskap5 26-Jun-1997 07:00 801 gsfonts3.tgz 21-Jun-1997 07:00 715K texinfo.tgz 02-Feb-1997 08:00 425K