summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tpm/bussproofs.tpm
blob: a9f8075fe99b22cad5bfd4598ff97e3dca3aabd7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
<!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/bussproofs.zip">
    <TPM:Name>bussproofs</TPM:Name>
    <TPM:Type>Package</TPM:Type>
    <TPM:Date>2006/10/12 20:18:11</TPM:Date>
    <TPM:Version></TPM:Version>
    <TPM:Creator>karl</TPM:Creator>
    <TPM:Title>The bussproofs package.</TPM:Title>
    <TPM:Description></TPM:Description>
    <TPM:Author></TPM:Author>
    <TPM:Size>92076</TPM:Size>
    <TPM:License></TPM:License>
    <TPM:Build/>
    <TPM:RunFiles size="33353">
texmf-dist/tex/latex/bussproofs/bussproofs.sty
texmf-dist/tpm/bussproofs.tpm
    </TPM:RunFiles>
    <TPM:DocFiles size="58723">
texmf-dist/doc/latex/bussproofs/testbp2.pdf
texmf-dist/doc/latex/bussproofs/testbp2.tex
    </TPM:DocFiles>
    <TPM:Provides>Package/bussproofs</TPM:Provides>
  </rdf:Description>
</rdf:RDF>