texlive-drv-0.97-3-omv2014.0.noarch.rpm


Advertisement

Description

texlive-drv - Derivation trees with MetaPost

Distribution: OpenMandriva Lx 2014.2
Repository: OpenMandriva Main x86_64
Package name: texlive-drv
Package version: 0.97
Package release: 3-omv2014.0
Package architecture: noarch
Package type: rpm
Installed size: 669.33 KB
Download size: 203.61 KB
Official Mirror: abf-downloads.openmandriva.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.

Alternatives

Provides

  • texlive-drv == 0.97-3:2014.0

    Download

    Install Howto

    1. Enable OpenMandriva Main repository on Install and Remove Software"
    2. Update packages list:
      # urpmi.update -a
    3. Install texlive-drv rpm package:
      # urpmi texlive-drv

    Files

    • /usr/share/texmf-dist/doc/metapost/drv/README
    • /usr/share/texmf-dist/doc/metapost/drv/drv-guide.pdf
    • /usr/share/texmf-dist/doc/metapost/drv/doc/drv-guide.mp
    • /usr/share/texmf-dist/doc/metapost/drv/doc/drv-guide.tex
    • /usr/share/texmf-dist/doc/metapost/drv/doc/drv.mp
    • /usr/share/texmf-dist/doc/metapost/drv/doc/makefile
    • /usr/share/texmf-dist/doc/metapost/drv/doc/readme.sh
    • /usr/share/texmf-dist/doc/metapost/drv/sample/coq-sample.mp
    • /usr/share/texmf-dist/doc/metapost/drv/sample/coq-sample.tex
    • /usr/share/texmf-dist/doc/metapost/drv/sample/drv.mp
    • /usr/share/texmf-dist/doc/metapost/drv/sample/makefile
    • /usr/share/texmf-dist/doc/metapost/drv/sample/readme.sh
    • /usr/share/texmf-dist/doc/metapost/drv/template/drv.mp
    • /usr/share/texmf-dist/doc/metapost/drv/template/makefile
    • /usr/share/texmf-dist/doc/metapost/drv/template/readme.sh
    • /usr/share/texmf-dist/doc/metapost/drv/template/template.mp
    • /usr/share/texmf-dist/doc/metapost/drv/template/template.tex
    • /usr/share/texmf-dist/metapost/drv/drv.mp

    Changelog

    2014-02-08 - Tomasz Pawe? Gajc <tpgxyz@gmail.com> 0.97-3 + Revision: 3c988f3 - MassBuild#328: Increase release tag

    Advertisement
    Advertisement