Announcements for drv

drv – Derivation trees with METAPOST

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.

Package	drv
Version	0.97
Copyright	2009 Laurent Méhats
Maintainer	Laurent Méhats

Atom Atom 1.0 feed with announcements for package drv.
RSS RSS 2.0 feed with announcements for package drv.