texmf-dist/doc/latex/lkproof/proofeg.tex texmf-dist/tex/latex/lkproof/proof.sty texmf-dist/tpm/lkproof.tpm texmf/lists/lkproof