proof Package 2005/07/05 17:11:24 3.0 1997/03/06 karl Shell based completion to process and view TeX and LaTeX. Makoto Tatsuta 47085 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