diff options
Diffstat (limited to 'Master/texmf-dist/tpm/proofs.tpm')
| -rw-r--r-- | Master/texmf-dist/tpm/proofs.tpm | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/Master/texmf-dist/tpm/proofs.tpm b/Master/texmf-dist/tpm/proofs.tpm new file mode 100644 index 00000000000..5baf2a6e0d4 --- /dev/null +++ b/Master/texmf-dist/tpm/proofs.tpm @@ -0,0 +1,27 @@ +<!DOCTYPE rdf:RDF SYSTEM "../../Tools/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>2000/04/06 08:37:33</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>115788</TPM:Size> + <TPM:Build/> + <TPM:RunFiles size="1173">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> + |