semantic Package 2003/10/28 13:31:00 2.0 rahtz Help for writing programming language semantics. Eases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees. [description copied from TeX Catalogue] Peter Meuller Neergaard 147425 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 texmf-dist/doc/latex/semantic/semantic.pdf texmf-dist/source/latex/semantic/semantic.dtx texmf-dist/source/latex/semantic/semantic.ins Package/semantic