texlive-semantic - Help for writing programming language semantics
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | LPPL |
| Vendor: | Fuduntu.org |
- 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-16.fu2013.noarch [20 KiB] |
Changelog
by Jindrich Novy (2013-02-05):
- fix symlinks pointing to system utilities (#907643) - add BR: texinfo because of makeinfo |
| texlive-semantic-svn15878.2.0-14.fu2013.noarch [19 KiB] |
Changelog
by Marek Kasik (2013-01-18):
- Rebuild (poppler-0.22.0) |