rename proof to lkproof

git-svn-id: svn://tug.org/texlive/trunk@2289 c570f23f-e606-0410-a88d-b1316a301751

6 files changed, 11 insertions, 11 deletions

diff --git a/Build/tools/tpm-ctan-check b/Build/tools/tpm-ctan-check
index 027cf7970bc..742536a0d55 100755
--- a/Build/tools/tpm-ctan-check
+++ b/Build/tools/tpm-ctan-check
@@ -59,7 +59,7 @@ sub main
        koma-script
        l2picfaq l2tabu-english
          labelcas latex latex-tds ledmac lewis lfb lh linearA lineno
-         listings lsc
+         listings lkproof lsc
          lshort-bulgarian lshort-dutch lshort-english
          lshort-finnish lshort-french  lshort-german 
          lshort-italian lshort-japanese lshort-korean 
@@ -76,8 +76,8 @@ sub main
        oberdiek ocr-latex octavo opcit
        pauldoc pdf-trans pdfcprot pdfpages pdftex-def perception
          perltex pgf pictex pict2e placeins plari
-         polynom poemscol powerdot #powerdot-doc-vn
-         ppr-prv pracjourn preview probsoln proof psfrag psnfss pstricks
+         polynom poemscol powerdot 
+         ppr-prv pracjourn preview probsoln psfrag psnfss pstricks
          pstricks-add
          pst-3d pst-3dplot pst-barcode pst-blur pst-eucl pst-func pst-tree
          pst-labo pst-lens pst-optic pst-osci pst-pdf pst-pdgr pst-slpe
diff --git a/Master/texmf-dist/doc/latex/proof/proofeg.pdf b/Master/texmf-dist/doc/latex/lkproof/proofeg.pdf
index 836c62f2b2e..836c62f2b2e 100644
--- a/Master/texmf-dist/doc/latex/proof/proofeg.pdf
+++ b/Master/texmf-dist/doc/latex/lkproof/proofeg.pdf
diff --git a/Master/texmf-dist/doc/latex/proof/proofeg.tex b/Master/texmf-dist/doc/latex/lkproof/proofeg.tex
index 38d6d74d3a1..38d6d74d3a1 100644
--- a/Master/texmf-dist/doc/latex/proof/proofeg.tex
+++ b/Master/texmf-dist/doc/latex/lkproof/proofeg.tex
diff --git a/Master/texmf-dist/tex/latex/proof/proof.sty b/Master/texmf-dist/tex/latex/lkproof/proof.sty
index e32030018a1..e32030018a1 100644
--- a/Master/texmf-dist/tex/latex/proof/proof.sty
+++ b/Master/texmf-dist/tex/latex/lkproof/proof.sty
diff --git a/Master/texmf-dist/tpm/proof.tpm b/Master/texmf-dist/tpm/lkproof.tpm
index e90c4c7ac32..084574a11bd 100644
--- a/Master/texmf-dist/tpm/proof.tpm
+++ b/Master/texmf-dist/tpm/lkproof.tpm
@@ -1,7 +1,7 @@
 <!DOCTYPE rdf:RDF SYSTEM "../../support/tpm.dtd">
 <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:TPM="http://texlive.dante.de/">
-  <rdf:Description about="http://texlive.dante.de/texlive/Package/proof.zip">
-    <TPM:Name>proof</TPM:Name>
+  <rdf:Description about="http://texlive.dante.de/texlive/Package/lkproof.zip">
+    <TPM:Name>lkproof</TPM:Name>
     <TPM:Type>Package</TPM:Type>
     <TPM:Date>2006/01/09 00:44:40</TPM:Date>
     <TPM:Version>3.0 1997/03/06</TPM:Version>
@@ -14,14 +14,14 @@ Shell based completion to process and view TeX and LaTeX.
     <TPM:Size>47087</TPM:Size>
     <TPM:Build/>
     <TPM:RunFiles size="10348">
-texmf-dist/tex/latex/proof/proof.sty
-texmf-dist/tpm/proof.tpm
+texmf-dist/tex/latex/lkproof/proof.sty
+texmf-dist/tpm/lkproof.tpm
     </TPM:RunFiles>
     <TPM:DocFiles size="36739">
-texmf-dist/doc/latex/proof/proofeg.pdf
-texmf-dist/doc/latex/proof/proofeg.tex
+texmf-dist/doc/latex/lkproof/proofeg.pdf
+texmf-dist/doc/latex/lkproof/proofeg.tex
     </TPM:DocFiles>
-    <TPM:Provides>Package/proof</TPM:Provides>
+    <TPM:Provides>Package/lkproof</TPM:Provides>
   </rdf:Description>
 </rdf:RDF>
 
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"/>