../ diskx5 25-May-2002 00:11 1212 oldlibs5.tgz 25-May-2002 00:11 321K oldlibs6.tgz 25-May-2002 00:11 729K x312fnt.tgz 25-May-2002 00:11 294K