CTAN
Comprehensive TeX Archive Network

Direc­tory graphics/metapost/contrib/macros/drv

README
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

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
Main­tainerLau­rent Méhats
Con­tained inTeX Live as drv
MiKTeX as drv
Topics mech­a­nisms for draw­ing trees
...
Guest Book Sitemap Contact Contact Author