Menu
CTAN
Comprehensive TeX Archive Network
Cover Upload Browse

Direc­tory tex-archive/graphics/metapost/contrib/macros/drv

drv - derivation trees with MetaPost
version 0.97

Licence
lppl

Description
drv is 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.

Contents
drv.mp		the main file
drv-guide.pdf	a user guide attempt
doc/		the sources for drv-guide.pdf
sample/		an example of use in conjunction with the beamer class
template/	a basic set of files for your own tries
README		this file

Any feedback is welcome.
laurent.mehats@gmail.com

Direc­to­ries

Name Notes
doc
sample
template

Files

Name Size Date Notes
README 568 2011-02-22 06:55
drv-guide.pdf 222384 2011-02-22 06:55
drv.mp 82163 2011-02-22 06:55

Down­load the con­tents of this pack­age in one zip archive (269.9k).

drv – Deriva­tion trees with

A set of macros for type­set­ting deriva­tion trees (such as used in se­quent cal­cu­lus, type in­fer­ence, pro­gram­ming lan­guage se­man­tics…).

No knowl­edge is needed to use these macros.

Pack­age De­tailsdrv
Ver­sion0.97
Li­censeThe LaTeX Project Public Li­cense
Copy­right2009 Lau­rent Méhats
Main­tainerLau­rent Méhats
Con­tained inTeXlive as drv
MikTeX as drv
Topics mech­a­nisms for draw­ing trees
Guest Book Sitemap Contact