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.