texlive-semantic-2.0-6-rosa2016.1.noarch.rpm


Advertisement

Description

texlive-semantic - Help for writing programming language semantics

Property Value
Distribution ROSA 2016.1
Repository ROSA Main x86_64
Package filename texlive-semantic-2.0-6-rosa2016.1.noarch.rpm
Package name texlive-semantic
Package version 2.0
Package release 6-rosa2016.1
Package architecture noarch
Package type rpm
Category Publishing
Homepage http://www.ctan.org/tex-archive/macros/latex/contrib/semantic
License LPPL
Maintainer -
Download size 385.86 KB
Installed size 527.99 KB
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-6-rosa2016.1.noarch.rpm 2.0 noarch ROSA Main
texlive-semantic - - -

Requires

Name Value
texlive-kpathsea -
texlive-tlpkg -

Provides

Name Value
texlive-semantic == 2.0-6:2016.1

Download

Type URL
Mirror mirror.rosalab.ru
Binary Package texlive-semantic-2.0-6-rosa2016.1.noarch.rpm
Source Package texlive-semantic-2.0-6.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

2017-02-04 - Andrey Bondrov <andrey.bondrov@rosalab.ru> 2.0-6
- (55a73de) MassBuild#1230: Increase release tag

See Also

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