../ web.tar.gz 03-Nov-1989 05:00 1062848 web2c_base.tar.gz 03-Nov-1989 05:00 91307 web2c_mf_and_bibtex.tar.gz 03-Nov-1989 05:00 130574 web2c_tex.tar.gz 03-Nov-1989 05:00 184975