texlive-semantic-2.0-3-rosa2014.1.noarch.rpm


Advertisement

Description

texlive-semantic - Help for writing programming language semantics

Property Value
Distribution ROSA 2014.1
Repository ROSA Main x86_64
Package name texlive-semantic
Package version 2.0
Package release 3-rosa2014.1
Package architecture noarch
Package type rpm
Installed size 527.99 KB
Download size 386.06 KB
Official Mirror mirror.rosalab.ru
Eases the typesetting of notation of semantics and compilers.
Includes T-diagrams, various derivation symbols and inference
trees.

Alternatives

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

Requires

Name Value
texlive-kpathsea -
texlive-tlpkg -

Provides

Name Value
texlive-semantic == 2.0-3:2014.1

Download

Type URL
Binary Package texlive-semantic-2.0-3-rosa2014.1.noarch.rpm
Source Package texlive-semantic-2.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-semantic rpm package:
    # urpmi texlive-semantic

Files

Path
/usr/share/texmf-dist/doc/latex/semantic/semantic.pdf
/usr/share/texmf-dist/source/latex/semantic/semantic.dtx
/usr/share/texmf-dist/source/latex/semantic/semantic.ins
/usr/share/texmf-dist/tex/latex/semantic/infernce.sty
/usr/share/texmf-dist/tex/latex/semantic/ligature.sty
/usr/share/texmf-dist/tex/latex/semantic/reserved.sty
/usr/share/texmf-dist/tex/latex/semantic/semantic.sty
/usr/share/texmf-dist/tex/latex/semantic/shrthand.sty
/usr/share/texmf-dist/tex/latex/semantic/tdiagram.sty

Changelog

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

See Also

Package Description
texlive-semaphor-20080415-3-rosa2014.1.noarch.rpm Semaphore alphabet font
texlive-seminar-1.61-2-rosa2014.1.noarch.rpm Make overhead slides
texlive-semioneside-v0.41-3-rosa2014.1.noarch.rpm Put only special contents on left-hand pages in two sided layout
texlive-sepfootnotes-0.2-6-rosa2014.1.noarch.rpm Support footnotes and endnotes from separate files
texlive-sepnum-2.0-3-rosa2014.1.noarch.rpm Print numbers in a "friendly" format
texlive-seqsplit-0.1-3-rosa2014.1.noarch.rpm Split long sequences of characters in a neutral way
texlive-serbian-apostrophe-20110830-3-rosa2014.1.noarch.rpm Commands for Serbian words with apostrophes
texlive-serbian-date-lat-20110624-3-rosa2014.1.noarch.rpm Updated date typesetting for Serbian
texlive-serbian-def-cyr-20111104-3-rosa2014.1.noarch.rpm TeXLive serbian-def-cyr package
texlive-serbian-lig-20110703-3-rosa2014.1.noarch.rpm Control ligatures in Serbian
texlive-serbianc-2.2-3-rosa2014.1.noarch.rpm Babel module to support Serbian Cyrillic
texlive-setdeck-0.1-7-rosa2014.1.noarch.rpm Typeset cards for Set
texlive-setspace-6.7a-3-rosa2014.1.noarch.rpm Set space between lines
texlive-seuthesis-2.0.0-3-rosa2014.1.noarch.rpm LaTeX template for theses at Southeastern University
texlive-sf298-1.2-3-rosa2014.1.noarch.rpm Standard form 298
Advertisement
Advertisement