Path to this page:
./
print/tex-semantic,
Help for writing programming language semantics
Branch: pkgsrc-2020Q3,
Version: 2.0,
Package name: tex-semantic-2.0,
Maintainer: pkgsrc-usersEases the typesetting of notation of semantics and compilers.
Includes T-diagrams, various derivation symbols and inference
trees.
Master sites: (Expand)
Version history: (Expand)
- (2020-10-10) Package added to pkgsrc.se, version tex-semantic-2.0 (created)