semantic package 2002/07/04 15:12:39 rahtz No caption. 147438 Eases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees. texmf/tex/latex/semantic/* texmf/tpm/package/semantic.tpm texmf/source/latex/semantic/* texmf/tex/latex/semantic/infernce.sty texmf/tex/latex/semantic/ligature.sty texmf/tex/latex/semantic/reserved.sty texmf/tex/latex/semantic/semantic.sty texmf/tex/latex/semantic/shrthand.sty texmf/tex/latex/semantic/tdiagram.sty texmf/tpm/package/semantic.tpm texmf/source/latex/semantic/semantic.dtx texmf/source/latex/semantic/semantic.ins package/semantic