summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tpm/lkproof.tpm
AgeCommit message (Expand)Author
2006-10-11update lkproofNorbert Preining
2006-10-10tpm files rebuild during a tlrebuild -n run. Hope this is ok.Norbert Preining
2006-10-09lkproof fixesNorbert Preining
2006-10-09rename proof to lkproofNorbert Preining