Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - tex.vms-changes 1988-03-14 00:00 33K tex.tops20-changes 1988-07-12 01:00 46K tex.tops10-changes 1986-03-20 00:00 36K tex.mvs-changes 1984-07-10 01:00 20K tex.cms-changes 1986-08-08 01:00 61K