Announcements for semantic

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
Maintainer	Arne John Glenstrup Peter Møller Neergaard

Atom Atom 1.0 feed with announcements for package semantic.
RSS RSS 2.0 feed with announcements for package semantic.