texlive-synproof - Easy drawing of syntactic proofs

Property Value
Distribution openSUSE Leap 42.3
Repository openSUSE Oss all
Package name texlive-synproof
Package version 2016.122.1.0svn15878
Package release 25.5
Package architecture noarch
Package type rpm
Installed size 5.76 KB
Download size 17.78 KB
Official Mirror widehat.opensuse.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.
date: 2015-08-03 03:43:12 +0000


Package Version Architecture Repository
texlive-synproof - - -


Name Value
coreutils -
findutils -
grep -
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsLzma) <= 4.4.6-1
sed -
tex(ifthen.sty) -
tex(keyval.sty) -
tex(pst-node.sty) -
tex(pstricks.sty) -
texlive >= 2016


Name Value
tex(synproof.sty) -
texlive-synproof = 2016.122.1.0svn15878-25.5


Type URL
Binary Package texlive-synproof-2016.122.1.0svn15878-25.5.noarch.rpm
Source Package texlive-specs-v-2016-25.5.src.rpm

Install Howto

Install texlive-synproof rpm package:

# zypper install texlive-synproof

See Also

Package Description
texlive-synproof-doc-2016.122.1.0svn15878-25.5.noarch.rpm Documentation for texlive-synproof
texlive-syntax-2016.122.svn15878-25.5.noarch.rpm Creation of syntax diagrams
texlive-syntax-doc-2016.122.svn15878-25.5.noarch.rpm Documentation for texlive-syntax
texlive-syntrace-2016.122.1.1svn15878-25.5.noarch.rpm Labels for tracing in a syntax tree
texlive-syntrace-doc-2016.122.1.1svn15878-25.5.noarch.rpm Documentation for texlive-syntrace
texlive-synttree-2016. Typeset syntactic trees
texlive-synttree-doc-2016. Documentation for texlive-synttree
texlive-systeme-2016. Format systems of equations
texlive-systeme-doc-2016. Documentation for texlive-systeme
texlive-t-angles-2016.122.svn15878-25.5.noarch.rpm Draw tangles, trees, Hopf algebra operations and other pictures
texlive-t-angles-doc-2016.122.svn15878-25.5.noarch.rpm Documentation for texlive-t-angles
texlive-t2-2016.122.svn39024-25.5.noarch.rpm Support for using T2 encoding
texlive-t2-doc-2016.122.svn39024-25.5.noarch.rpm Documentation for texlive-t2
texlive-tabfigures-2016.122.1.1svn25202-25.5.noarch.rpm Maintain vertical alignment of figures
texlive-tabfigures-doc-2016.122.1.1svn25202-25.5.noarch.rpm Documentation for texlive-tabfigures