../ tex.cms-changes 08-Aug-1986 07:00 62123 tex.mvs-changes 10-Jul-1984 07:00 20856 tex.tops10-changes 20-Mar-1986 07:00 36635 tex.tops20-changes 12-Jul-1988 07:00 46641 tex.vms-changes 14-Mar-1988 07:00 34297