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 .
_______________________________________________
Ctan-ann mailing list
[email protected]
https://lists.dante.de/mailman/listinfo/ctan-ann
