Actually, the TeX file mproof.tex is compiled. It can be found in ?:\emtex\inputs\misc.