drv – Derivation trees with METAPOST
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.
|Licenses||The LaTeX Project Public License|
|Copyright||2009 Laurent Méhats|
|Contained in||TeX Live as drv|
MiKTeX as drv
Download the contents of this package in one zip archive (269.9k).
Maybe you are interested in the following packages as well.
- dvipdfmx-def: Configuration file for dvipdfmx graphics
- pxtatescale: Patch to graphics driver for scaling in vertical direction of pTeX
- luatex-def: LuaTeX option file for color and graphics
- latexmp: Interface for LaTeX-based typesetting in METAPOST