texlive-turnstile-1.0-3-rosa2014.1.noarch.rpm


Advertisement

Description

texlive-turnstile - Typeset the (logic) turnstile notation

Property Value
Distribution ROSA 2014.1
Repository ROSA Main x86_64
Package filename texlive-turnstile-1.0-3-rosa2014.1.noarch.rpm
Package name texlive-turnstile
Package version 1.0
Package release 3-rosa2014.1
Package architecture noarch
Package type rpm
Category Publishing
Homepage http://www.ctan.org/tex-archive/macros/latex/contrib/turnstile
License LPPL
Maintainer -
Download size 595.04 KB
Installed size 740.66 KB
Among other uses, the turnstile sign is used by logicians for
denoting a consequence relation, related to a given logic,
between a collection of formulas and a derived formula.

Alternatives

Package Version Architecture Repository
texlive-turnstile-1.0-5-rosa2014.1.noarch.rpm 1.0 noarch ROSA Contrib Updates
texlive-turnstile-1.0-5-rosa2014.1.noarch.rpm 1.0 noarch ROSA Contrib Updates
texlive-turnstile-1.0-3-rosa2014.1.noarch.rpm 1.0 noarch ROSA Main
texlive-turnstile - - -

Requires

Name Value
texlive-kpathsea -
texlive-tlpkg -

Provides

Name Value
texlive-turnstile == 1.0-3:2014.1

Download

Type URL
Mirror mirror.rosalab.ru
Binary Package texlive-turnstile-1.0-3-rosa2014.1.noarch.rpm
Source Package texlive-turnstile-1.0-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-turnstile rpm package:
    # urpmi texlive-turnstile

Files

Path
/usr/share/texmf-dist/doc/latex/turnstile/README
/usr/share/texmf-dist/doc/latex/turnstile/README.en
/usr/share/texmf-dist/doc/latex/turnstile/README.pt
/usr/share/texmf-dist/doc/latex/turnstile/turnstile-en.pdf
/usr/share/texmf-dist/doc/latex/turnstile/turnstile-pt.pdf
/usr/share/texmf-dist/doc/latex/turnstile/turnstile_article.pdf
/usr/share/texmf-dist/doc/latex/turnstile/turnstile_article.tex
/usr/share/texmf-dist/doc/latex/turnstile/turnstile_artigo.pdf
/usr/share/texmf-dist/doc/latex/turnstile/turnstile_artigo.tex
/usr/share/texmf-dist/source/latex/turnstile/turnstile-en.dtx
/usr/share/texmf-dist/source/latex/turnstile/turnstile-en.ins
/usr/share/texmf-dist/source/latex/turnstile/turnstile-pt.dtx
/usr/share/texmf-dist/source/latex/turnstile/turnstile-pt.ins
/usr/share/texmf-dist/tex/latex/turnstile/turnstile.sty

Changelog

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

See Also

Package Description
texlive-turnthepage-1.3a-3-rosa2014.1.noarch.rpm Provide "turn page" instructions
texlive-twoinone-20100226-3-rosa2014.1.noarch.rpm Print two pages on a single page
texlive-twoup-1.3-3-rosa2014.1.noarch.rpm Print two virtual pages on each physical page
texlive-txfonts-20090115-3-rosa2014.1.noarch.rpm Times-like fonts in support of mathematics
texlive-txfontsb-1.1-3-rosa2014.1.noarch.rpm Extensions to txfonts, using GNU Freefont
texlive-txgreeks-1.0-3-rosa2014.1.noarch.rpm Shape selection for TX fonts Greek letters
texlive-type1cm-20110324-3-rosa2014.1.noarch.rpm Arbitrary size font selection in LaTeX
texlive-typeface-0.1-2-rosa2014.1.noarch.rpm Select a balanced set of fonts
texlive-typehtml-20100223-3-rosa2014.1.noarch.rpm Typeset HTML directly from LaTeX
texlive-typeoutfileinfo-0.1a-3-rosa2014.1.noarch.rpm Display class/package/file information
texlive-typogrid-0.21-2-rosa2014.1.noarch.rpm Print a typographic grid
texlive-uaclasses-20090105-3-rosa2014.1.noarch.rpm University of Arizona thesis and dissertation format
texlive-uadocs-1.1-6-rosa2014.1.noarch.rpm Course texts and masters theses in University of Antwerp style
texlive-uafthesis-5.0-3-rosa2014.1.noarch.rpm Document class for theses at University of Alaska Fairbanks
texlive-ucdavisthesis-1.1-3-rosa2014.1.noarch.rpm A thesis/dissertation class for University of California Davis
Advertisement
Advertisement