Ankündigungen für 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.

Paket	drv
Version	0.97
Copyright	2009 Laurent Méhats
Betreuer	Laurent Méhats

Atom Atom-1.0-Feed mit Ankündigungen für das Paket drv.
RSS RSS-2.0-Feed mit Ankündigungen für das Paket drv.