texlive-tex-ewd-20081115-10-omv2015.0.noarch.rpm


Advertisement

Description

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

Property Value
Distribution OpenMandriva Lx 3.0
Repository OpenMandriva Main Release x86_64
Package name texlive-tex-ewd
Package version 20081115
Package release 10-omv2015.0
Package architecture noarch
Package type rpm
Installed size 27.39 KB
Download size 13.87 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

Package Version Architecture Repository
texlive-tex-ewd-20081115-10-omv2015.0.noarch.rpm 20081115 noarch OpenMandriva Main Release
texlive-tex-ewd - - -

Requires

Name Value
texlive-kpathsea -
texlive-tlpkg -

Provides

Name Value
texlive-tex-ewd == 20081115-10:2015.0

Download

Type URL
Binary Package texlive-tex-ewd-20081115-10-omv2015.0.noarch.rpm
Source Package texlive-tex-ewd-20081115-10.src.rpm

Install Howto

  1. Enable OpenMandriva Main Release 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

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

See Also

Package Description
texlive-tex-font-errors-cheatsheet-0.1-10-omv2015.0.noarch.rpm Cheat sheet outlining the most common TeX font errors
texlive-tex-gyre-2.004-10-omv2015.0.noarch.rpm TeX Fonts extending freely available URW fonts
texlive-tex-gyre-math-20140517-4-omv2015.0.noarch.rpm Maths fonts to match tex-gyre text fonts
texlive-tex-label-20091214-10-omv2015.0.noarch.rpm Place a classification on each page of a document
texlive-tex-overview-0.1f-9-omv2015.0.noarch.rpm An overview of the development of TeX
texlive-tex-ps-20091010-10-omv2015.0.noarch.rpm TeX to PostScript generic macros and add-ons
texlive-tex-refs-0.4.8-9-omv2015.0.noarch.rpm References for TeX and Friends
texlive-tex-virtual-academy-pl-20111104-10-omv2015.0.noarch.rpm TeXLive tex-virtual-academy-pl package
texlive-tex.bin-20150521-1-omv2015.0.x86_64.rpm binary files of tex
texlive-tex.bin-20160523-3-omv2015.0.x86_64.rpm binary files of tex
texlive-tex4ht-20140103-7-omv2015.0.noarch.rpm Convert (La)TeX to HTML/XML
texlive-tex4ht.bin-20150521-1-omv2015.0.x86_64.rpm binary files of tex4ht
texlive-tex4ht.bin-20160523-3-omv2015.0.x86_64.rpm binary files of tex4ht
texlive-texapi-1.04-10-omv2015.0.noarch.rpm Macros to write format-independent packages
texlive-texbytopic-20080824-10-omv2015.0.noarch.rpm Freed version of the book TeX by Topic
Advertisement
Advertisement