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