summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tpm/semantic.tpm
blob: a50a41f52024b785a93ee3bde245c37a5e065fc0 (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
32
33
34
35
36
37
38
<!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/semantic.zip">
    <TPM:Name>semantic</TPM:Name>
    <TPM:Type>Package</TPM:Type>
    <TPM:Date>2003/10/28 13:31:00</TPM:Date>
    <TPM:Version>2.0</TPM:Version>
    <TPM:Creator>rahtz</TPM:Creator>
    <TPM:Title>
Help for writing programming language semantics.
    </TPM:Title>
    <TPM:Description>
Eases the typesetting of notation of semantics and
compilers. Includes T-diagrams, various derivation symbols
and inference trees.
[description copied from TeX Catalogue]
    </TPM:Description>
    <TPM:Author>Peter Meuller Neergaard</TPM:Author>
    <TPM:Size>147425</TPM:Size>
    <TPM:Build/>
    <TPM:RunFiles size="30918">
texmf-dist/tex/latex/semantic/infernce.sty
texmf-dist/tex/latex/semantic/ligature.sty
texmf-dist/tex/latex/semantic/reserved.sty
texmf-dist/tex/latex/semantic/semantic.sty
texmf-dist/tex/latex/semantic/shrthand.sty
texmf-dist/tex/latex/semantic/tdiagram.sty
texmf-dist/tpm/semantic.tpm
    </TPM:RunFiles>
    <TPM:DocFiles size="392885">texmf-dist/doc/latex/semantic/semantic.pdf</TPM:DocFiles>
    <TPM:SourceFiles size="118248">
texmf-dist/source/latex/semantic/semantic.dtx
texmf-dist/source/latex/semantic/semantic.ins
    </TPM:SourceFiles>
    <TPM:Provides>Package/semantic</TPM:Provides>
  </rdf:Description>
</rdf:RDF>