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

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


Branch: CURRENT, 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]

Required to build:
[pkgtools/cwrappers]

Master sites: (Expand)


Version history: (Expand)


CVS history: (Expand)


   2019-02-02 03:46:55 by Mark Davies | Files touched by this commit (8)
Log message:
tex-semantic{,-doc}: Added version 2.0

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