Path to this page:
./
graphics/tex-drv,
Derivation trees with MetaPost
Branch: pkgsrc-2016Q2,
Version: 0.97,
Package name: tex-drv-0.97,
Maintainer: pkgsrc-usersA 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.
Master sites: (Expand)
Version history: (Expand)
- (2016-07-07) Package has been reborn
- (2016-07-06) Package added to pkgsrc.se, version tex-drv-0.97 (created)