summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tpm/proofs.tpm
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tpm/proofs.tpm')
-rw-r--r--Master/texmf-dist/tpm/proofs.tpm6
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/texmf-dist/tpm/proofs.tpm b/Master/texmf-dist/tpm/proofs.tpm
index 03fc47f7e1d..0ecb8adb858 100644
--- a/Master/texmf-dist/tpm/proofs.tpm
+++ b/Master/texmf-dist/tpm/proofs.tpm
@@ -1,4 +1,4 @@
-<!DOCTYPE rdf:RDF SYSTEM "../../Tools/tpm.dtd">
+<!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>
@@ -9,9 +9,9 @@
<TPM:Title>Macros for building proof trees.</TPM:Title>
<TPM:Description></TPM:Description>
<TPM:Author>Paul Taylor</TPM:Author>
- <TPM:Size>115788</TPM:Size>
+ <TPM:Size>115790</TPM:Size>
<TPM:Build/>
- <TPM:RunFiles size="1173">texmf-dist/tpm/proofs.tpm</TPM:RunFiles>
+ <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