Name Last modified Size Description 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 CHANGES 1993-02-12 01:00 2.3K