texlive-drv - Derivation trees with MetaPost
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | LPPL |
- 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: 2012-07-03 17:35:36 +0200
Packages
| texlive-drv-svn29349.0.97-1.1.el7.fc21.noarch [34 KiB] |
Changelog
by Jindrich Novy (2014-08-09):
- rebuild because of NVR conflict |