CTAN Comprehensive TeX Archive Network

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 – 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