./print/tex-semantic, Help for writing programming language semantics

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: pkgsrc-2020Q2, Version: 2.0, Package name: tex-semantic-2.0, Maintainer: pkgsrc-users

Eases the typesetting of notation of semantics and compilers.
Includes T-diagrams, various derivation symbols and inference
trees.


Required to run:
[print/kpathsea]

Master sites: (Expand)


Version history: (Expand)