CTAN Comprehensive TeX Archive Network

CTAN update: drv

Date: November 20, 2010 4:12:01 PM CET
This should 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.96 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:
Correction of the way "verbatimtex" is handled.
This package is at http://tug.ctan.org/tex-archive/graphics/metapost/contrib/macros/drv/ . Information is at http://tug.ctan.org/pkg/drv (it may take a day for the information to appear). We are supported by the TeX Users Group http://www.tug.org . For your 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