1 2 3 4 5
name lkproof docfiles texmf-dist/doc/latex/lkproof/proofeg.tex runfiles texmf-dist/tex/latex/lkproof/proof.sty