summaryrefslogtreecommitdiff
path: root/Master/texmf
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2006-10-09 22:53:22 +0000
committerNorbert Preining <preining@logic.at>2006-10-09 22:53:22 +0000
commit2fabbabd551479c72c4ec985868cb9da3e473271 (patch)
treea40f62f9785cb91f53fa629e374b5e153f139102 /Master/texmf
parentf74a8364798e9c06b1a8acb62c09833f013da035 (diff)
rename proof to lkproof
git-svn-id: svn://tug.org/texlive/trunk@2289 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf')
-rw-r--r--Master/texmf/tpm/collection-latexextra.tpm2
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf/tpm/collection-latexextra.tpm b/Master/texmf/tpm/collection-latexextra.tpm
index 464d7a19e84..8c69e5d3589 100644
--- a/Master/texmf/tpm/collection-latexextra.tpm
+++ b/Master/texmf/tpm/collection-latexextra.tpm
@@ -353,7 +353,7 @@ A large collection of add-on packages for LaTeX.
<TPM:Package name="progkeys"/>
<TPM:Package name="program"/>
<TPM:Package name="progress"/>
- <TPM:Package name="proof"/>
+ <TPM:Package name="lkproof"/>
<TPM:Package name="prosper"/>
<TPM:Package name="protocol"/>
<TPM:Package name="psfragx"/>