summaryrefslogtreecommitdiff
path: root/Master/tlp/lkproof.tlp
blob: 5e8fbbac95314cd933a1cd1d2dd98acdf76b6f21 (plain)
1
2
3
4
5
name lkproof
docfiles
 texmf-dist/doc/latex/lkproof/proofeg.tex
runfiles
 texmf-dist/tex/latex/lkproof/proof.sty