Name Last modified Size Parent Directory - tex-mma.tar_z 1993-02-12 09:00 409K tex-mma.tar.gz 1993-02-12 09:00 393K tex-mma-j.ps.gz 1993-02-12 09:00 40K CHANGES 1993-02-12 09:00 2.3K