./graphics/tex-drv, Derivation trees with MetaPost

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: pkgsrc-2017Q1, Version: 0.97, Package name: tex-drv-0.97, Maintainer: pkgsrc-users

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.


Required to build:
[pkgtools/cwrappers]

Master sites: (Expand)


Version history: (Expand)