../ README.web2c-mp 08-May-1995 14:18 13K web2c-mp-lib.tar.gz 07-May-1995 22:00 434K web2c-mp-src.tar.gz 07-May-1995 22:00 391K web2c-mp-teTeX.patch 07-May-1995 22:00 55K web2c-mp-web2c.patch 07-May-1995 22:00 48K