CTAN Comprehensive TeX Archive Network

CTAN update: drv

Date: January 11, 2010 11:24:52 AM CET
This should within a day 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.95 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:
Derivation forests, radial mode (beta), documentation update.
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

A set of macros for typesetting derivation trees (such as used in sequent calculus, type inference, programming language semantics…).

No knowledge is needed to use these macros.

Packagedrv
Version0.97
Copyright2009 Laurent Méhats
MaintainerLaurent Méhats

Announcements

more

Guest Book Sitemap Contact Contact Author