summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/semantic.tlpsrc
blob: 299492a5341b27e9cec8ad0fd377098c4d4a699c (plain)
1
2
3
4
5
6
name semantic
category Package
shortdesc Help for writing programming language semantics.
longdesc Eases the typesetting of notation of semantics and compilers.
longdesc Includes T-diagrams, various derivation symbols and inference
longdesc trees. [description copied from TeX Catalogue]