Name Last modified Size Description Parent Directory - tex.tops20-changes 1988-07-12 00:00 46K tex.vms-changes 1988-03-14 00:00 33K tex.cms-changes 1986-08-08 00:00 61K tex.tops10-changes 1986-03-20 00:00 36K tex.mvs-changes 1984-07-10 00:00 20K