Welcome to ftp.nluug.nl Current directory: /pub/os/Linux/distr/CTAN/graphics/metapost/contrib/macros/drv/

Current bandwidth utilization 1918.64 Mbit/s

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

 Name                                                       Last modified      Size  
 Parent Directory                                                                -   
 doc/                                                       21-Sep-2012 18:20    -   
 sample/                                                    22-Feb-2011 20:03    -   
 template/                                                  22-Feb-2011 20:03    -   
 README                                                     22-Feb-2011 18:55  568   
 drv-guide.pdf                                              22-Feb-2011 18:55  217K  
 drv.mp                                                     22-Feb-2011 18:55   80K  

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!