texlive-lkproof-3.1-3-rosa2014.1.noarch.rpm


Advertisement

Description

texlive-lkproof - LK Proof figure macros

Property Value
Distribution ROSA 2014.1
Repository ROSA Main x86_64
Package filename texlive-lkproof-3.1-3-rosa2014.1.noarch.rpm
Package name texlive-lkproof
Package version 3.1
Package release 3-rosa2014.1
Package architecture noarch
Package type rpm
Category Publishing
Homepage http://www.ctan.org/tex-archive/macros/latex/contrib/lkproof
License GPL
Maintainer -
Download size 257.86 KB
Installed size 261.79 KB
The package defines a pair of commands \infer and \deduce, that
are used in constructing LK proof diagrams.

Alternatives

Package Version Architecture Repository
texlive-lkproof-3.1-4-rosa2014.1.noarch.rpm 3.1 noarch ROSA Main Updates
texlive-lkproof-3.1-4-rosa2014.1.noarch.rpm 3.1 noarch ROSA Main Updates
texlive-lkproof-3.1-3-rosa2014.1.noarch.rpm 3.1 noarch ROSA Main
texlive-lkproof - - -

Requires

Name Value
texlive-kpathsea -
texlive-tlpkg -

Provides

Name Value
texlive-lkproof == 3.1-3:2014.1

Download

Type URL
Mirror mirror.rosalab.ru
Binary Package texlive-lkproof-3.1-3-rosa2014.1.noarch.rpm
Source Package texlive-lkproof-3.1-3.src.rpm

Install Howto

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

Files

Path
/usr/share/texmf-dist/doc/latex/lkproof/lkproof-doc.pdf
/usr/share/texmf-dist/doc/latex/lkproof/lkproof-doc.tex
/usr/share/texmf-dist/doc/latex/lkproof/proofeg.tex
/usr/share/texmf-dist/tex/latex/lkproof/proof.sty

Changelog

2014-06-27 - Alex Burmashev <alex.burmashev@rosalab.ru> 3.1-3
+ Revision: b9ceba8
- MassBuild#440: Increase release tag

See Also

Package Description
texlive-lm-2.004-3-rosa2014.1.noarch.rpm Latin modern fonts in outline formats
texlive-lm-math-1.958-6-rosa2014.1.noarch.rpm OpenType maths fonts for Latin Modern
texlive-lmake-1.0-3-rosa2014.1.noarch.rpm Process lists to do repetitive actions
texlive-lmextra-20111103-3-rosa2014.1.noarch.rpm TeXLive lmextra package
texlive-locality-0.2-3-rosa2014.1.noarch.rpm Various macros for keeping things local
texlive-localloc-20091006-3-rosa2014.1.noarch.rpm Macros for localizing TeX register allocations
texlive-logbox-1.0-3-rosa2014.1.noarch.rpm e-TeX showbox facilities for exploration purposes
texlive-logical-markup-utils-20091109-3-rosa2014.1.noarch.rpm Packages for language-dependent inline quotes and dashes
texlive-logicpuzzle-2.4-6-rosa2014.1.noarch.rpm Typeset (grid-based) logic puzzles
texlive-logpap-0.6-3-rosa2014.1.noarch.rpm Generate logarithmic graph paper with LaTeX
texlive-logreq-1.0-3-rosa2014.1.noarch.rpm Support for automation of the LaTeX workflow
texlive-longnamefilelist-0.2-6-rosa2014.1.noarch.rpm Tidy \listfiles with long file names
texlive-loops-1.3-7-rosa2014.1.noarch.rpm General looping macros for use with LaTeX
texlive-lpic-0.8-3-rosa2014.1.noarch.rpm Put LaTeX material over included graphics
texlive-lplfitch-0.9-6-rosa2014.1.noarch.rpm Fitch-style natural deduction proofs
Advertisement
Advertisement