name semantic
category Package
revision 15878
shortdesc Help for writing programming language semantics.
relocated 1
longdesc Eases the typesetting of notation of semantics and compilers.
longdesc Includes T-diagrams, various derivation symbols and inference
longdesc trees.
runfiles size=10
 RELOC/tex/latex/semantic/infernce.sty
 RELOC/tex/latex/semantic/ligature.sty
 RELOC/tex/latex/semantic/reserved.sty
 RELOC/tex/latex/semantic/semantic.sty
 RELOC/tex/latex/semantic/shrthand.sty
 RELOC/tex/latex/semantic/tdiagram.sty
catalogue-ctan /macros/latex/contrib/semantic
catalogue-date 2012-06-13 16:26:52 +0200
catalogue-license lppl
catalogue-version 2.0