texlive-drv - Derivation trees with MetaPost
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | LPPL |
| Vendor: | Fuduntu.org |
- Description:
A set of MetaPost macros for typesetting derivation trees (such as used in sequent calculus, type inference, programming language semantics...). No MetaPost knowledge is needed to use these macros. date: 2011-02-22 19:59:57 +0100
Packages
| texlive-drv-svn21499.0.97-16.fu2013.noarch [29 KiB] |
Changelog
by Jindrich Novy (2013-02-05):
- fix symlinks pointing to system utilities (#907643) - add BR: texinfo because of makeinfo |
| texlive-drv-svn21499.0.97-14.fu2013.noarch [29 KiB] |
Changelog
by Marek Kasik (2013-01-18):
- Rebuild (poppler-0.22.0) |