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]
|