CTAN update: drv
Datum: 20. November 2010 16:12:01 MEZ
This should be at your local mirror.
Jim Hef{}feron
Saint Michael's College
.........................................................................
The following information was provided by our fellow contributor:
Name of contribution: drv
Version number: 0.96
Author's name: Laurent Méhats
Location on CTAN: /graphics/metapost/contrib/macros/drv/
Summary description: Derivation trees with MetaPost.
License type: lppl
Announcement text:
Correction of the way "verbatimtex" is handled.
This package is at http://tug.ctan.org/tex-archive/graphics/metapost/contrib/macros/drv/ . Information is at http://tug.ctan.org/pkg/drv (it may take a day for the information to appear). We are supported by the TeX Users Group http://www.tug.org . For your users group see http://www.tug.org/usergroups.html .
Correction of the way "verbatimtex" is handled.
This package is at http://tug.ctan.org/tex-archive/graphics/metapost/contrib/macros/drv/ . Information is at http://tug.ctan.org/pkg/drv (it may take a day for the information to appear). We are supported by the TeX Users Group http://www.tug.org . For your users group see http://www.tug.org/usergroups.html .
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.
| Paket | drv |
| Version | 0.97 |
| Copyright | 2009 Laurent Méhats |
| Betreuer | Laurent Méhats |