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


Advertisement

Description

texlive-lkproof - LK Proof figure macros

Property Value
Distribution ROSA 2014.1
Repository ROSA Main Updates i586
Package filename texlive-lkproof-3.1-4-rosa2014.1.noarch.rpm
Package name texlive-lkproof
Package version 3.1
Package release 4-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.61 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-3-rosa2014.1.noarch.rpm 3.1 noarch ROSA Main
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-4:2014.1

Download

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

Install Howto

  1. Enable ROSA Main Updates 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

2015-02-10 - Denis Silakov <denis.silakov@rosalab.ru> 3.1-4
+ Revision: 9657fcb
- Drop obsolete post scripts - replaced with triggers

See Also

Package Description
texlive-lm-2.004-4-rosa2014.1.noarch.rpm Latin modern fonts in outline formats
texlive-lm-math-1.958-7-rosa2014.1.noarch.rpm OpenType maths fonts for Latin Modern
texlive-lmake-1.0-4-rosa2014.1.noarch.rpm Process lists to do repetitive actions
texlive-lmextra-20111103-4-rosa2014.1.noarch.rpm TeXLive lmextra package
texlive-locality-0.2-4-rosa2014.1.noarch.rpm Various macros for keeping things local
texlive-localloc-20091006-4-rosa2014.1.noarch.rpm Macros for localizing TeX register allocations
texlive-logbox-1.0-4-rosa2014.1.noarch.rpm E-TeX showbox facilities for exploration purposes
texlive-logical-markup-utils-20091109-4-rosa2014.1.noarch.rpm Packages for language-dependent inline quotes and dashes
texlive-logicpuzzle-2.4-7-rosa2014.1.noarch.rpm Typeset (grid-based) logic puzzles
texlive-logpap-0.6-4-rosa2014.1.noarch.rpm Generate logarithmic graph paper with LaTeX
texlive-longnamefilelist-0.2-7-rosa2014.1.noarch.rpm Tidy \listfiles with long file names
texlive-loops-1.3-8-rosa2014.1.noarch.rpm General looping macros for use with LaTeX
texlive-lpic-0.8-4-rosa2014.1.noarch.rpm Put LaTeX material over included graphics
texlive-lps-0.7-4-rosa2014.1.noarch.rpm Class for "Logic and Philosophy of Science"
texlive-lsc-20070309-4-rosa2014.1.noarch.rpm Typesetting Live Sequence Charts
Advertisement
Advertisement