summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tpm/vdm.tpm
blob: f21b3047242d115bcb937c5544c48ad84fce4e1f (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
27
28
29
30
31
<!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/vdm.zip">
    <TPM:Name>vdm</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>Typesetting VDM schemas.</TPM:Title>
    <TPM:Description>
The package conforms to the BSI concrete syntax for VDM, and
enables the user to concentrate on VDM specifications rather than
typesetting format.  Note that it does not cover all of
BSI VDM.
[description copied from TeX Catalogue]
    </TPM:Description>
    <TPM:Author>unknown</TPM:Author>
    <TPM:Size>162392</TPM:Size>
    <TPM:Build/>
    <TPM:RunFiles size="40483">
texmf-dist/tex/latex/vdm/vdm.sty
texmf-dist/tpm/vdm.tpm
    </TPM:RunFiles>
    <TPM:DocFiles size="121909">
texmf-dist/doc/latex/vdm/vdm.dvi
texmf-dist/doc/latex/vdm/vdm.tex
    </TPM:DocFiles>
    <TPM:Provides>Package/vdm</TPM:Provides>
  </rdf:Description>
</rdf:RDF>