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


Advertisement

Description

texlive-synproof-doc - Documentation for synproof

Property Value
Distribution Fedora 26
Repository Fedora i386
Package name texlive-synproof-doc
Package version svn15878.1.0
Package release 33.fc26.2
Package architecture noarch
Package type rpm
Installed size 79.50 KB
Download size 92.97 KB
Official Mirror archives.fedoraproject.org
Documentation for synproof

Alternatives

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

Provides

Name Value
tex-synproof-doc -
texlive-synproof-doc = svn15878.1.0-33.fc26.2

Download

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

Install Howto

Install the texlive-synproof-doc rpm package:

# dnf install texlive-synproof-doc

Files

Path
/usr/share/licenses/texlive-synproof-doc/lppl1.txt
/usr/share/texlive/texmf-dist/doc/latex/synproof/README
/usr/share/texlive/texmf-dist/doc/latex/synproof/synproof-doc.pdf
/usr/share/texlive/texmf-dist/doc/latex/synproof/synproof-doc.tex

Changelog

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

See Also

Package Description
texlive-synproof-svn15878.1.0-33.fc26.2.noarch.rpm Easy drawing of syntactic proofs
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
Advertisement
Advertisement