Directory macros/latex/contrib/semantic

Download the contents of this package in one zip archive (387.3k).

semantic – Help for writing programming language semantics

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

Package	semantic
Version	2.0
Licenses	The LaTeX Project Public License
Maintainer	Arne John Glenstrup Peter Møller Neergaard
Contained in	TeX Live as semantic MiKTeX as semantic
Topics	Computer science