diff options
author | Norbert Preining <preining@logic.at> | 2006-10-09 22:53:22 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2006-10-09 22:53:22 +0000 |
commit | 2fabbabd551479c72c4ec985868cb9da3e473271 (patch) | |
tree | a40f62f9785cb91f53fa629e374b5e153f139102 /Master/texmf/tpm | |
parent | f74a8364798e9c06b1a8acb62c09833f013da035 (diff) |
rename proof to lkproof
git-svn-id: svn://tug.org/texlive/trunk@2289 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf/tpm')
-rw-r--r-- | Master/texmf/tpm/collection-latexextra.tpm | 2 |
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"/> |