CTAN Comprehensive TeX Archive Network

CTAN update: drv

Date: October 11, 2009 4:38:52 PM CEST
This should reach your local mirror within 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.94 Author's name: Laurent Méhats Location on CTAN: /graphics/metapost/contrib/macros/ Summary description: derivation trees with MetaPost License type: lppl Announcement text:
Minor code corrections and improvements, 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