Path to this page:
./
print/tex-semantic,
Help for writing programming language semantics
Branch: pkgsrc-2019Q1,
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)
- (2019-04-11) Package added to pkgsrc.se, version tex-semantic-2.0 (created)