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