Changes: - dummy.mf and dummy.tfm were moved to tex-amsfonts. - mproof.tex and mpsprrof.tex were moved to tex-metapost. - placeins.tex was moved to tex-placeins-plain.
