Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - tex-mma.tar_z 1993-02-12 01:00 409K tex-mma.tar.gz 1993-02-12 01:00 393K tex-mma-j.ps.gz 1993-02-12 01:00 40K README 1993-02-12 01:00 7.5K CHANGES 1993-02-12 01:00 2.3K