texlive-prooftrees - Forest-based proof trees (symbolic logic)

Property Value
Distribution Fedora 29
Repository Fedora x86_64
Package filename texlive-prooftrees-svn43184-20.fc29.noarch.rpm
Package name texlive-prooftrees
Package version svn43184
Package release 20.fc29
Package architecture noarch
Package type rpm
Category Applications/Publishing
Homepage http://tug.org/texlive/
License LPPL
Maintainer -
Download size 33.09 KB
Installed size 56.44 KB
The package supports drawing proof trees of the kind often used
in introductory logic classes, especially those aimed at
students without strong mathemtical backgrounds. Hodges (1991)
is one example of a text which uses this system. When teaching
such a system it is especially useful to annotate the tree with
line numbers, justifications and explanations of branch
closures. prooftrees provides a single environment, prooftree,
and a variety of tools for annotating, customising and
highlighting such trees. A cross-referencing system is provided
for trees which cite line numbers in justifications for proof
lines or branch closures. prooftrees is based on forest and,
hence, TikZ. The package requires version 2.0.2 of Forest for
expected results and will not work with version 1.


Package Version Architecture Repository
texlive-prooftrees-svn43184-25.fc29.noarch.rpm svn43184 noarch Fedora Updates
texlive-prooftrees-svn43184-25.fc29.noarch.rpm svn43184 noarch Fedora Updates
texlive-prooftrees-svn43184-20.fc29.noarch.rpm svn43184 noarch Fedora
texlive-prooftrees - - -


Name Value
tex-kpathsea -
texlive-base -
texlive-kpathsea-bin -


Name Value
tex(prooftrees.sty) = 2018
tex-prooftrees = 2018
texlive-prooftrees = svn43184-20.fc29


Type URL
Mirror download-ib01.fedoraproject.org
Binary Package texlive-prooftrees-svn43184-20.fc29.noarch.rpm
Source Package texlive-2018-20.fc29.src.rpm

Install Howto

Install texlive-prooftrees rpm package:

# dnf install texlive-prooftrees




2018-10-05 - Tom Callaway <spot@fedoraproject.org> - 8:2018-20
- artificial release bump to work around bug in koji (https://pagure.io/koji/issue/1119)
2018-10-01 - Tom Callaway <spot@fedoraproject.org> - 8:2018-2
- fix collection-texworks to depend on texlive-texworks-doc (texworks is windows only) (bz1634313)
2018-09-21 - Tom Callaway <spot@fedoraproject.org> - 8:2018-1
- bump epoch
- use a mirror that isn't broken/evil
- use %sources macro to make things nicer in the spec file
- hopefully fix all broken dependencies
2018-07-14 - Fedora Release Engineering <releng@fedoraproject.org> - 7:2017-17
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-07-10 - Tom Callaway <spot@fedoraproject.org> - 7:2017-16
- add algobox
- remove Provides: tex(textcase.sty) from revtex4 (used to live there, now it is in textcase)
- add versioning to mensa-tex provide
2018-07-02 - Tom Callaway <spot@fedoraproject.org> - 7:2017-15
- update newtxsf
- remove incorrect provides from newtx
- add mensa-tex
2018-06-06 - Tom Callaway <spot@fedoraproject.org> - 7:2017-14
- add Provides: tex-japanese to resolve upgrade issue
2018-05-29 - Tom Callaway <spot@fedoraproject.org> - 7:2017-13
- add epochs to more obsoletes
2018-05-25 - Tom Callaway <spot@fedoraproject.org> - 7:2017-12
- fix Requires: texlive-xii to point to Requires: texlive-xii-doc
2018-05-22 - Tom Callaway <spot@fedoraproject.org> - 7:2017-11
- update cleverref

See Also

Package Description
texlive-properties-doc-svn15878.0.2-20.fc29.noarch.rpm Documentation for properties
texlive-properties-svn15878.0.2-20.fc29.noarch.rpm Load properties from a file
texlive-proposal-doc-svn40538-20.fc29.noarch.rpm Documentation for proposal
texlive-proposal-svn40538-20.fc29.noarch.rpm A class for preparing proposals
texlive-prosper-doc-svn33033.1.0h-20.fc29.noarch.rpm Documentation for prosper
texlive-prosper-svn33033.1.0h-20.fc29.noarch.rpm LaTeX class for high quality slides
texlive-protex-doc-svn41633-20.fc29.noarch.rpm Documentation for protex
texlive-protex-svn41633-20.fc29.noarch.rpm Literate programming package
texlive-protocol-doc-svn25562.1.13-20.fc29.noarch.rpm Documentation for protocol
texlive-protocol-svn25562.1.13-20.fc29.noarch.rpm A class for minutes of meetings
texlive-przechlewski-book-doc-svn23552.0-20.fc29.noarch.rpm Documentation for przechlewski-book
texlive-przechlewski-book-svn23552.0-20.fc29.noarch.rpm Examples from Przechlewski's LaTeX book
texlive-ps2pk-20180414-24.fc29.x86_64.rpm Generate a PK font from an Adobe Type 1 font
texlive-psbao-doc-svn15878.0.17-20.fc29.noarch.rpm Documentation for psbao
texlive-psbao-svn15878.0.17-20.fc29.noarch.rpm Draw Bao diagrams