CTAN has a new package: drv
Date: September 20, 2009 3:16:15 PM CEST
This package should reach your local mirror in a day.
Jim Hef{}feron
Saint Michael's College
................................................................................
The following information was provided by our fellow contributor:
Name of contribution: drv.mp
Version number: 0.93
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:
drv.mp 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.
This package is located at http://tug.ctan.org/tex-archive/graphics/metapost/contrib/macros/drv . More information is at http://tug.ctan.org/pkg/drv (if the package is new it may take a day for that information to appear). We are supported by the TeX Users Group http://www.tug.org . Please join a users group; see http://www.tug.org/usergroups.html .
drv.mp 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.
This package is located at http://tug.ctan.org/tex-archive/graphics/metapost/contrib/macros/drv . More information is at http://tug.ctan.org/pkg/drv (if the package is new it may take a day for that information to appear). We are supported by the TeX Users Group http://www.tug.org . Please join a 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.
| Package | drv |
| Version | 0.97 |
| Copyright | 2009 Laurent Méhats |
| Maintainer | Laurent Méhats |