Path to this page:
./
graphics/tex-drv,
Derivation trees with MetaPost
Branch: pkgsrc-2019Q3,
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.
Required to run:[
print/kpathsea]
Master sites: (Expand)
Version history: (Expand)
- (2019-10-02) Package added to pkgsrc.se, version tex-drv-0.97 (created)