texlive-natded-0.1-2-rosa2014.1.noarch.rpm


Advertisement

Description

texlive-natded - Typeset natural deduction proofs

Distribution: ROSA 2014.1
Repository: ROSA Main x86_64
Package name: texlive-natded
Package version: 0.1
Package release: 2-rosa2014.1
Package architecture: noarch
Package type: rpm
Installed size: 368.13 KB
Download size: 337.56 KB
Official Mirror: mirror.rosalab.ru
The package provides commands to typeset proofs in the style used by Jaskowski, or that of Kalish and Montague.

Provides

  • texlive-natded == 0.1-2:2014.1

    Install Howto

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

    Files

    • /usr/share/texmf-dist/doc/latex/natded/README.md
    • /usr/share/texmf-dist/doc/latex/natded/extended_doc.pdf
    • /usr/share/texmf-dist/doc/latex/natded/extended_doc.tex
    • /usr/share/texmf-dist/doc/latex/natded/natded.pdf
    • /usr/share/texmf-dist/doc/latex/natded/natded.tex
    • /usr/share/texmf-dist/tex/latex/natded/natded.sty

    Changelog

    2014-06-27 - Alex Burmashev <alex.burmashev@rosalab.ru> 0.1-2 + Revision: 32346e1 - MassBuild#440: Increase release tag

    Advertisement
    Advertisement