Verzeichnis macros/latex/contrib/semantic

Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (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.

Paket	semantic
Version	2.0
Lizenzen	The LaTeX Project Public License
Betreuer	Arne John Glenstrup Peter Møller Neergaard
Enthalten in	TeX Live als semantic MiKTeX als semantic
Themen	Informatik