lkproof Package 2006/10/11 18:04:15 3.0 1997/03/06 karl LK Proof figure macros. Makoto Tatsuta 9916 texmf-dist/tex/latex/lkproof/proof.sty texmf-dist/tpm/lkproof.tpm texmf-dist/doc/latex/lkproof/proofeg.tex Package/lkproof