diff options
| -rw-r--r-- | Master/texmf-dist/tpm/proofs.tpm | 27 | ||||
| -rw-r--r-- | Master/texmf/tpm/collection-latexextra.tpm | 1 |
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"/> |