texlive-drv - Derivation trees with MetaPost
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | LPPL |
| Vendor: | Alcance Libre, Inc. |
- 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.
Packages
| texlive-drv-svn29349.0.97-46.fc14.al.noarch [63 KiB] |
Changelog
by Tom Callaway (2021-09-09):
- add Requires: texlive-epstopdf to texlive-epstopdf-pkg (bz2002690) |