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

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


Branch: pkgsrc-2020Q3, 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.


Master sites: (Expand)


Version history: (Expand)