Name Last modified Size Description Parent Directory - ptc-tex-1.8.tar.Z 1991-08-06 13:48 242K ptc-tex-1.14.tar.Z 1991-09-03 20:20 122K ptc-tex.README 1991-09-03 20:20 6.1K ptc-1.11.tar.Z 1991-09-03 20:25 192K