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