Index of /archives/text/CTAN/graphics/metapost/contrib/macros/drv

 Name                                                  Last modified      Size  Description
 Parent Directory                                                           -   
 README                                                2011-02-23 02:55  568   
 drv-guide.pdf                                         2011-02-23 02:55  217K  
 drv.mp                                                2011-02-23 02:55   80K  
 sample/                                               2011-02-23 04:03    -   
 template/                                             2011-02-23 04:03    -   
 doc/                                                  2012-09-22 01:20    -   

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