proof Package 2006/01/09 00:44:40 3.0 1997/03/06 karl Shell based completion to process and view TeX and LaTeX. Makoto Tatsuta 47087 texmf-dist/tex/latex/proof/proof.sty texmf-dist/tpm/proof.tpm texmf-dist/doc/latex/proof/proofeg.pdf texmf-dist/doc/latex/proof/proofeg.tex Package/proof