texlive-drv-0.97-3-rosa2014.1.noarch.rpm


Advertisement

Description

texlive-drv - Derivation trees with MetaPost

Distribution: ROSA 2014.1
Repository: ROSA Main x86_64
Package name: texlive-drv
Package version: 0.97
Package release: 3-rosa2014.1
Package architecture: noarch
Package type: rpm
Installed size: 669.33 KB
Download size: 203.38 KB
Official Mirror: mirror.rosalab.ru
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.

Provides

  • texlive-drv == 0.97-3:2014.1

    Download

    Install Howto

    1. Enable ROSA 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-06-27 - Alex Burmashev <alex.burmashev@rosalab.ru> 0.97-3 + Revision: e544d53 - MassBuild#440: Increase release tag

    Advertisement
    Advertisement