texlive-synproof - Easy drawing of syntactic proofs

Property Value
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.


Package Version Architecture Repository
texlive-synproof-1.0-5-rosa2014.1.noarch.rpm 1.0 noarch ROSA Contrib Updates
texlive-synproof-1.0-5-rosa2014.1.noarch.rpm 1.0 noarch ROSA Contrib Updates
texlive-synproof-1.0-3-rosa2014.1.noarch.rpm 1.0 noarch ROSA Main
texlive-synproof - - -


Name Value
texlive-kpathsea -
texlive-tlpkg -


Name Value
texlive-synproof == 1.0-3:2014.1


Type URL
Binary Package texlive-synproof-1.0-3-rosa2014.1.noarch.rpm
Source Package texlive-synproof-1.0-3.src.rpm

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




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

See Also

Package Description
texlive-syntax-20091001-3-rosa2014.1.noarch.rpm Creation of syntax diagrams
texlive-syntrace-1.1-3-rosa2014.1.noarch.rpm Labels for tracing in a syntax tree
texlive-synttree-1.4.2-3-rosa2014.1.noarch.rpm Typeset syntactic trees
texlive-systeme-0.2b-3-rosa2014.1.noarch.rpm Format systems of equations
texlive-t-angles-20070312-3-rosa2014.1.noarch.rpm Draw tangles, trees, Hopf algebra operations and other pictures
texlive-t2-20120605-6-rosa2014.1.noarch.rpm Support for using T2 encoding
texlive-tabfigures-1.1-2-rosa2014.1.noarch.rpm Maintain vertical alignment of figures
texlive-tableaux-20081110-3-rosa2014.1.noarch.rpm Construct tables of signs and variations
texlive-tablefootnote-1.0h-2-rosa2014.1.noarch.rpm Permit footnotes in tables
texlive-tableof-1.2-6-rosa2014.1.noarch.rpm Tagging tables of contents
texlive-tablists-0.0e-3-rosa2014.1.noarch.rpm Tabulated lists of short items
texlive-tablor-4.07g-6-rosa2014.1.noarch.rpm Create tables of signs and of variations
texlive-tabls-3.5-3-rosa2014.1.noarch.rpm Better vertical spacing in tables and arrays
texlive-tabriz-thesis-1.1-6-rosa2014.1.noarch.rpm A template for the University of Tabriz
texlive-tabstackengine-1.10-2-rosa2014.1.noarch.rpm "Tabbing" front-end to stackengine