texlive-logicproof-doc-svn33254.0-52.fc28.2.noarch.rpm


Advertisement

Description

texlive-logicproof-doc - Documentation for logicproof

Property Value
Distribution Fedora 28
Repository Fedora Updates i386
Package name texlive-logicproof-doc
Package version svn33254.0
Package release 52.fc28.2
Package architecture noarch
Package type rpm
Installed size 72.90 KB
Download size 95.63 KB
Official Mirror download-ib01.fedoraproject.org
Documentation for logicproof

Alternatives

Package Version Architecture Repository
texlive-logicproof-doc-svn33254.0-52.fc28.2.noarch.rpm svn33254.0 noarch Fedora Updates
texlive-logicproof-doc-svn33254.0-42.fc28.2.noarch.rpm svn33254.0 noarch Fedora
texlive-logicproof-doc-svn33254.0-42.fc28.2.noarch.rpm svn33254.0 noarch Fedora
texlive-logicproof-doc - - -

Provides

Name Value
tex-logicproof-doc -
texlive-logicproof-doc = svn33254.0-52.fc28.2

Download

Type URL
Binary Package texlive-logicproof-doc-svn33254.0-52.fc28.2.noarch.rpm
Source Package texlive-2016-52.20160520.fc28.src.rpm

Install Howto

Install texlive-logicproof-doc rpm package:

# dnf install texlive-logicproof-doc

Files

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

Changelog

See texlive-2016-52.20160520.fc28.noarch.rpm changelog.

See Also

Package Description
texlive-logicproof-svn33254.0-52.fc28.2.noarch.rpm Box proofs for propositional and predicate logic
texlive-logicpuzzle-doc-svn34491.2.5-52.fc28.2.noarch.rpm Documentation for logicpuzzle
texlive-logicpuzzle-svn34491.2.5-52.fc28.2.noarch.rpm Typeset (grid-based) logic puzzles
texlive-logpap-doc-svn15878.0.6-52.fc28.2.noarch.rpm Documentation for logpap
texlive-logpap-svn15878.0.6-52.fc28.2.noarch.rpm Generate logarithmic graph paper with LaTeX
texlive-logreq-doc-svn19640.1.0-52.fc28.2.noarch.rpm Documentation for logreq
texlive-logreq-svn19640.1.0-52.fc28.2.noarch.rpm Support for automation of the LaTeX workflow
texlive-lollipop-20170520-42.fc28.noarch.rpm TeX made easy
texlive-longfbox-doc-svn39028-52.fc28.2.noarch.rpm doc files of longfbox
texlive-longfbox-svn39028-52.fc28.2.noarch.rpm Draw framed boxes with standard CSS attributes that can break over multiple pages
texlive-longfigure-doc-svn34302.1.0-52.fc28.2.noarch.rpm Documentation for longfigure
texlive-longfigure-svn34302.1.0-52.fc28.2.noarch.rpm Provides a figure-like environment that break over pages
texlive-longnamefilelist-doc-svn27889.0.2-52.fc28.2.noarch.rpm Documentation for longnamefilelist
texlive-longnamefilelist-svn27889.0.2-52.fc28.2.noarch.rpm Tidy \listfiles with long file names
texlive-loops-doc-svn30704.1.3-52.fc28.2.noarch.rpm Documentation for loops
Advertisement
Advertisement