texlive-semantic - Help for writing programming language semantics
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | LPPL |
- Description:
Eases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees. date: 2007-01-15 20:26:34 +0100
Packages
| texlive-semantic-svn15878.2.0-1.1.el7.fc21.noarch [25 KiB] |
Changelog
by Jindrich Novy (2014-08-09):
- rebuild because of NVR conflict |