diff options
Diffstat (limited to 'Master/texmf-dist/tpm/proofs.tpm')
| -rw-r--r-- | Master/texmf-dist/tpm/proofs.tpm | 6 |
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 |