name lkproof docfiles texmf-dist/doc/latex/lkproof/proofeg.tex runfiles texmf-dist/tex/latex/lkproof/proof.sty