texlive-drv-svn29349.0.97-14.fc23.noarch.rpm


Advertisement

Description

texlive-drv - Derivation trees with MetaPost

Distribution: Fedora 23
Repository: Fedora i386
Package name: texlive-drv
Package version: svn29349.0.97
Package release: 14.fc23
Package architecture: noarch
Package type: rpm
Installed size: 80.24 KB
Download size: 42.53 KB
Official Mirror: dl.fedoraproject.org
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. date: 2012-07-03 17:35:36 +0200

Provides

  • tex-drv = 2014
  • texlive-drv = svn29349.0.97-14.fc23

    Install Howto

    Install the texlive-drv rpm package:

    # dnf install texlive-drv

    Files

    • /usr/share/doc/texlive-drv/lppl1.txt
    • /usr/share/texlive/texmf-dist/metapost/drv/drv.mp
    Advertisement
    Advertisement