texlive-synproof-1.0-3-rosa2014.1.noarch.rpm


Advertisement

Description

texlive-synproof - Easy drawing of syntactic proofs

Distribution: ROSA 2014.1
Repository: ROSA Main x86_64
Package name: texlive-synproof
Package version: 1.0
Package release: 3-rosa2014.1
Package architecture: noarch
Package type: rpm
Installed size: 85.26 KB
Download size: 65.44 KB
Official Mirror: mirror.rosalab.ru
The package provides a set of macros based on PSTricks that will enable you to draw syntactic proofs easily (inspired by the Gamut books). Very few commands are needed, however fine tuning of the various parameters (dimensions) can still be achieved through "key=value" pairs.

Provides

  • texlive-synproof == 1.0-3:2014.1

    Install Howto

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

    Files

    • /usr/share/texmf-dist/doc/latex/synproof/README
    • /usr/share/texmf-dist/doc/latex/synproof/synproof-doc.pdf
    • /usr/share/texmf-dist/doc/latex/synproof/synproof-doc.tex
    • /usr/share/texmf-dist/tex/latex/synproof/synproof.sty

    Changelog

    2014-06-27 - Alex Burmashev <alex.burmashev@rosalab.ru> 1.0-3 + Revision: 32894fb - MassBuild#440: Increase release tag

    Advertisement
    Advertisement