texlive-lplfitch-0.9-6-rosa2014.1.noarch.rpm


Advertisement

Description

texlive-lplfitch - Fitch-style natural deduction proofs

Property Value
Distribution ROSA 2014.1
Repository ROSA Main x86_64
Package filename texlive-lplfitch-0.9-6-rosa2014.1.noarch.rpm
Package name texlive-lplfitch
Package version 0.9
Package release 6-rosa2014.1
Package architecture noarch
Package type rpm
Category Publishing
Homepage http://www.ctan.org/tex-archive/macros/latex/contrib/lplfitch
License LPPL1.3
Maintainer -
Download size 233.83 KB
Installed size 255.87 KB
The package provides macros for typesetting natural deduction
proofs in "Fitch" style, with subproofs indented and offset by
scope lines. The proofs from use of the package are in the
format used in the textbook Language, Proof, and Logic by Dave
Barker-Plummer, Jon Barwise, and John Etchemendy.

Alternatives

Package Version Architecture Repository
texlive-lplfitch-0.9-8-rosa2014.1.noarch.rpm 0.9 noarch ROSA Contrib Updates
texlive-lplfitch-0.9-8-rosa2014.1.noarch.rpm 0.9 noarch ROSA Contrib Updates
texlive-lplfitch-0.9-6-rosa2014.1.noarch.rpm 0.9 noarch ROSA Main
texlive-lplfitch - - -

Requires

Name Value
texlive-kpathsea -
texlive-tlpkg -

Provides

Name Value
texlive-lplfitch == 0.9-6:2014.1

Download

Type URL
Mirror mirror.rosalab.ru
Binary Package texlive-lplfitch-0.9-6-rosa2014.1.noarch.rpm
Source Package texlive-lplfitch-0.9-6.src.rpm

Install Howto

  1. Enable ROSA Main repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install texlive-lplfitch rpm package:
    # urpmi texlive-lplfitch

Files

Path
/usr/share/texmf-dist/doc/latex/lplfitch/README
/usr/share/texmf-dist/doc/latex/lplfitch/lplfitch.pdf
/usr/share/texmf-dist/source/latex/lplfitch/lplfitch.dtx
/usr/share/texmf-dist/source/latex/lplfitch/lplfitch.ins
/usr/share/texmf-dist/tex/latex/lplfitch/lplfitch.sty

Changelog

2014-06-27 - Alex Burmashev <alex.burmashev@rosalab.ru> 0.9-6
+ Revision: e48ff1d
- MassBuild#440: Increase release tag

See Also

Package Description
texlive-lps-0.7-3-rosa2014.1.noarch.rpm Class for "Logic and Philosophy of Science"
texlive-lsc-20070309-3-rosa2014.1.noarch.rpm Typesetting Live Sequence Charts
texlive-lshort-bulgarian-20071221-3-rosa2014.1.noarch.rpm Bulgarian translation of the "Short Introduction to LaTeX2e"
texlive-lshort-chinese-4.20-3-rosa2014.1.noarch.rpm Introduction to LaTeX, in Chinese
texlive-lshort-czech-4.27-3-rosa2014.1.noarch.rpm Czech translation of the "Short Introduction to LaTeX2e"
texlive-lshort-dutch-1.3-3-rosa2014.1.noarch.rpm Introduction to LaTeX in Dutch
texlive-lshort-english-5.01-3-rosa2014.1.noarch.rpm A (Not So) Short Introduction to LaTeX2e
texlive-lshort-finnish-20081213-3-rosa2014.1.noarch.rpm Finnish introduction to LaTeX
texlive-lshort-french-5.01-3-rosa2014.1.noarch.rpm Short introduction to LaTeX, French translation
texlive-lshort-german-20080420-3-rosa2014.1.noarch.rpm German version of A Short Introduction to LaTeX2e: LaTeX2e-Kurzbeschreibung
texlive-lshort-italian-20070101-3-rosa2014.1.noarch.rpm Introduction to LaTeX in Italian
texlive-lshort-japanese-20061228-3-rosa2014.1.noarch.rpm Japanese version of A Short Introduction to LaTeX2e
texlive-lshort-korean-4.17-3-rosa2014.1.noarch.rpm Korean introduction to LaTeX
texlive-lshort-mongol-4.26-3-rosa2014.1.noarch.rpm Short introduction to LaTeX, in Mongolian
texlive-lshort-persian-4.26-3-rosa2014.1.noarch.rpm Persian (Farsi) introduction to LaTeX
Advertisement
Advertisement