Directory 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
Directories
| Name | Notes |
|---|---|
doc |
|
|
sample |
|
|
template |
Files
| Name | Size | Date | Notes |
|---|---|---|---|
README |
568 | 2011-02-22 06:55:03 | |
drv-guide.pdf |
222384 | 2011-02-22 06:55:03 | |
drv.mp |
82163 | 2011-02-22 06:55:03 |
Download the complete
contents of this directory in one zip archive
(269.9k).
drv – Derivation trees with METAPOST
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.
| Documentation |
User guide Readme |
| Version | 0.97 |
| License | The LaTeX Project Public License |
| Copyright | 2009 Laurent Méhats |
| Maintainer | Laurent Méhats |
| Contained in | TeXLive as drv |
| MiKTeX as drv | |
| Topics |
mechanisms for drawing trees |