summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2006-07-01 22:52:24 +0000
committerKarl Berry <karl@freefriends.org>2006-07-01 22:52:24 +0000
commit8c3bcfdc97ac960118349d5339c160b003377519 (patch)
tree8aecda03d1a340389ca20f8e9052f32643adc303
parent799c37aa04daa4fbf6a80d216a289835d82c256f (diff)
delete proofs package, as files are either obsolete or nonfree or both
git-svn-id: svn://tug.org/texlive/trunk@1742 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Master/texmf-dist/tpm/proofs.tpm27
-rw-r--r--Master/texmf/tpm/collection-latexextra.tpm1
2 files changed, 0 insertions, 28 deletions
diff --git a/Master/texmf-dist/tpm/proofs.tpm b/Master/texmf-dist/tpm/proofs.tpm
deleted file mode 100644
index 0ecb8adb858..00000000000
--- a/Master/texmf-dist/tpm/proofs.tpm
+++ /dev/null
@@ -1,27 +0,0 @@
-<!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/proofs.zip">
- <TPM:Name>proofs</TPM:Name>
- <TPM:Type>Package</TPM:Type>
- <TPM:Date>2006/01/11 23:56:25</TPM:Date>
- <TPM:Version></TPM:Version>
- <TPM:Creator>rahtz</TPM:Creator>
- <TPM:Title>Macros for building proof trees.</TPM:Title>
- <TPM:Description></TPM:Description>
- <TPM:Author>Paul Taylor</TPM:Author>
- <TPM:Size>115790</TPM:Size>
- <TPM:Build/>
- <TPM:RunFiles size="1175">texmf-dist/tpm/proofs.tpm</TPM:RunFiles>
- <TPM:SourceFiles size="114615">
-texmf-dist/source/latex/proofs/taylor/QED-.sty
-texmf-dist/source/latex/proofs/taylor/QED.sty
-texmf-dist/source/latex/proofs/taylor/boxproof-old.tex
-texmf-dist/source/latex/proofs/taylor/boxproof.tex
-texmf-dist/source/latex/proofs/taylor/prooftree-doc.dvi
-texmf-dist/source/latex/proofs/taylor/prooftree-doc.tex
-texmf-dist/source/latex/proofs/taylor/prooftree.tex
- </TPM:SourceFiles>
- <TPM:Provides>Package/proofs</TPM:Provides>
- </rdf:Description>
-</rdf:RDF>
-
diff --git a/Master/texmf/tpm/collection-latexextra.tpm b/Master/texmf/tpm/collection-latexextra.tpm
index 02f701a3f57..fd01b01bb91 100644
--- a/Master/texmf/tpm/collection-latexextra.tpm
+++ b/Master/texmf/tpm/collection-latexextra.tpm
@@ -357,7 +357,6 @@ A large collection of add-on packages for LaTeX.
<TPM:Package name="progress"/>
<TPM:Package name="prosper"/>
<TPM:Package name="proof"/>
- <TPM:Package name="proofs"/>
<TPM:Package name="protocol"/>
<TPM:Package name="psfragx"/>
<TPM:Package name="qcm"/>