summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tpm/semantic.tpm
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tpm/semantic.tpm')
-rw-r--r--Master/texmf-dist/tpm/semantic.tpm37
1 files changed, 37 insertions, 0 deletions
diff --git a/Master/texmf-dist/tpm/semantic.tpm b/Master/texmf-dist/tpm/semantic.tpm
new file mode 100644
index 00000000000..bc53571f9f5
--- /dev/null
+++ b/Master/texmf-dist/tpm/semantic.tpm
@@ -0,0 +1,37 @@
+<!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/semantic.zip">
+ <TPM:Name>semantic</TPM:Name>
+ <TPM:Type>Package</TPM:Type>
+ <TPM:Date>2002/07/04 13:12:39</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>147423</TPM:Size>
+ <TPM:Build/>
+ <TPM:RunFiles size="29940">
+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:SourceFiles size="117483">
+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>
+