texlive-synproof-svn15878.1.0-33.fc26.2.noarch.rpm


Advertisement

Description

texlive-synproof - Easy drawing of syntactic proofs

Property Value
Distribution Fedora 26
Repository Fedora i386
Package name texlive-synproof
Package version svn15878.1.0
Package release 33.fc26.2
Package architecture noarch
Package type rpm
Installed size 5.76 KB
Download size 34.52 KB
Official Mirror archives.fedoraproject.org
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.

Alternatives

Package Version Architecture Repository
texlive-synproof-svn15878.1.0-33.fc26.2.noarch.rpm svn15878.1.0 noarch Fedora
texlive-synproof - - -

Requires

Name Value
tex(ifthen.sty) -
tex(keyval.sty) -
tex(pst-node.sty) -
tex(pstricks.sty) -
tex-kpathsea -
texlive-base -
texlive-kpathsea-bin -

Provides

Name Value
tex(synproof.sty) = 2016
tex-synproof = 2016
texlive-synproof = svn15878.1.0-33.fc26.2

Download

Type URL
Binary Package texlive-synproof-svn15878.1.0-33.fc26.2.noarch.rpm
Source Package texlive-2016-33.20160520.fc26.1.src.rpm

Install Howto

Install the texlive-synproof rpm package:

# dnf install texlive-synproof

Files

Path
/usr/share/licenses/texlive-synproof/lppl1.txt
/usr/share/texlive/texmf-dist/tex/latex/synproof/synproof.sty

Changelog

See texlive-2016-33.20160520.fc26.1.i686.rpm changelog.

See Also

Package Description
texlive-syntax-doc-svn15878.0-33.fc26.2.noarch.rpm Documentation for syntax
texlive-syntax-svn15878.0-33.fc26.2.noarch.rpm Creation of syntax diagrams
texlive-syntrace-doc-svn15878.1.1-33.fc26.2.noarch.rpm Documentation for syntrace
texlive-syntrace-svn15878.1.1-33.fc26.2.noarch.rpm Labels for tracing in a syntax tree
texlive-synttree-doc-svn16252.1.4.2-33.fc26.2.noarch.rpm Documentation for synttree
texlive-synttree-svn16252.1.4.2-33.fc26.2.noarch.rpm Typeset syntactic trees
texlive-systeme-doc-svn32473.0.3-33.fc26.2.noarch.rpm Documentation for systeme
texlive-systeme-svn32473.0.3-33.fc26.2.noarch.rpm Format systems of equations
texlive-t-angles-doc-svn15878.0-33.fc26.2.noarch.rpm Documentation for t-angles
texlive-t-angles-svn15878.0-33.fc26.2.noarch.rpm Draw tangles, trees, Hopf algebra operations and other pictures
texlive-t2-doc-svn39024-33.fc26.2.noarch.rpm Documentation for t2
texlive-t2-svn39024-33.fc26.2.noarch.rpm Support for using T2 encoding
texlive-tabfigures-doc-svn25202.1.1-33.fc26.2.noarch.rpm Documentation for tabfigures
texlive-tabfigures-svn25202.1.1-33.fc26.2.noarch.rpm Maintain vertical alignment of figures
texlive-tableaux-doc-svn41423-33.fc26.2.noarch.rpm Documentation for tableaux
Advertisement
Advertisement