texlive-synproof-2016.122.1.0svn15878-25.5.noarch.rpm


Advertisement

Description

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 ftp.gwdg.de
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

Alternatives

Package Version Architecture Repository
texlive-synproof - - -

Requires

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

Provides

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

Download

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.122.1.4.2svn16252-25.5.noarch.rpm Typeset syntactic trees
texlive-synttree-doc-2016.122.1.4.2svn16252-25.5.noarch.rpm Documentation for texlive-synttree
texlive-systeme-2016.122.0.0.3svn32473-25.5.noarch.rpm Format systems of equations
texlive-systeme-doc-2016.122.0.0.3svn32473-25.5.noarch.rpm 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
Advertisement
Advertisement