summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xBuild/tools/tpm-ctan-check6
-rw-r--r--Master/texmf-dist/doc/latex/lkproof/proofeg.pdf (renamed from Master/texmf-dist/doc/latex/proof/proofeg.pdf)bin34564 -> 34564 bytes
-rw-r--r--Master/texmf-dist/doc/latex/lkproof/proofeg.tex (renamed from Master/texmf-dist/doc/latex/proof/proofeg.tex)0
-rw-r--r--Master/texmf-dist/tex/latex/lkproof/proof.sty (renamed from Master/texmf-dist/tex/latex/proof/proof.sty)0
-rw-r--r--Master/texmf-dist/tpm/lkproof.tpm (renamed from Master/texmf-dist/tpm/proof.tpm)14
-rw-r--r--Master/texmf/tpm/collection-latexextra.tpm2
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
Binary files differ
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"/>