texlive-tex-ewd-20081115-3-omv2014.0.noarch.rpm


Advertisement

Description

texlive-tex-ewd - Macros to typeset calculational proofs and programs in Dijkstra's style

Distribution: OpenMandriva Lx 2014.2
Repository: OpenMandriva Main x86_64
Package name: texlive-tex-ewd
Package version: 20081115
Package release: 3-omv2014.0
Package architecture: noarch
Package type: rpm
Installed size: 27.39 KB
Download size: 14.30 KB
Official Mirror: abf-downloads.openmandriva.org
Edsger W. Dijkstra and others suggest a unique style to present mathematical proofs and to construct programs. This package provides macros that support calculational proofs and Dijkstra's "guarded command language".

Alternatives

Provides

  • texlive-tex-ewd == 20081115-3:2014.0

    Install Howto

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

    Files

    • /usr/share/texmf-dist/doc/generic/tex-ewd/README
    • /usr/share/texmf-dist/doc/generic/tex-ewd/bsdlic.txt
    • /usr/share/texmf-dist/doc/generic/tex-ewd/p0.tex
    • /usr/share/texmf-dist/doc/generic/tex-ewd/t1.tex
    • /usr/share/texmf-dist/tex/generic/tex-ewd/dotnot.tex

    Changelog

    2014-02-08 - Tomasz Pawe? Gajc <tpgxyz@gmail.com> 20081115-3 + Revision: 2de2559 - MassBuild#328: Increase release tag

    Advertisement
    Advertisement