CTAN Comprehensive TeX Archive Network

Directory 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

Download the contents of this package in one zip archive (269.9k).

drv – Derivation trees with

A set of macros for typesetting derivation trees (such as used in sequent calculus, type inference, programming language semantics…).

No knowledge is needed to use these macros.

Packagedrv
Version0.97
LicensesThe Project Public License
Copyright2009 Laurent Méhats
MaintainerLaurent Méhats
Contained inTeX Live as drv
MiKTeX as drv
TopicsTree
...
Guest Book Sitemap Contact Contact Author