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


Advertisement

Description

texlive-semantic - Help for writing programming language semantics

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.

Provides

  • texlive-semantic == 2.0-3:2014.1

    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

    • /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

    Advertisement
    Advertisement