derivation-trees-0.7.2: Typeset Derivation Trees via MetaPost

DerivationTrees.ManualPTS