texlive-tex-ewd-2016.122.svn15878-25.5.noarch.rpm


Advertisement

Description

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

Property Value
Distribution openSUSE Leap 42.3
Repository openSUSE Oss all
Package name texlive-tex-ewd
Package version 2016.122.svn15878
Package release 25.5
Package architecture noarch
Package type rpm
Installed size 7.23 KB
Download size 18.88 KB
Official Mirror ftp.gwdg.de
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".
date: 2015-08-03 03:43:12 +0000

Alternatives

Package Version Architecture Repository
texlive-tex-ewd - - -

Requires

Name Value
coreutils -
findutils -
grep -
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsLzma) <= 4.4.6-1
sed -
texlive >= 2016

Provides

Name Value
tex(dotnot.tex) -
texlive-tex-ewd = 2016.122.svn15878-25.5

Download

Type URL
Binary Package texlive-tex-ewd-2016.122.svn15878-25.5.noarch.rpm
Source Package texlive-specs-v-2016-25.5.src.rpm

Install Howto

Install texlive-tex-ewd rpm package:

# zypper install texlive-tex-ewd

See Also

Package Description
texlive-tex-ewd-doc-2016.122.svn15878-25.5.noarch.rpm Documentation for texlive-tex-ewd
texlive-tex-font-errors-cheatsheet-2016.122.0.0.1svn18314-25.5.noarch.rpm Cheat sheet outlining the most common TeX font errors
texlive-tex-gyre-2016.122.2.004svn18651-25.5.noarch.rpm TeX Fonts extending freely available URW fonts
texlive-tex-gyre-doc-2016.122.2.004svn18651-25.5.noarch.rpm Documentation for texlive-tex-gyre
texlive-tex-gyre-fonts-2016.122.2.004svn18651-25.5.noarch.rpm Severed fonts for texlive-tex-gyre
texlive-tex-gyre-math-2016.122.svn41264-25.5.noarch.rpm Maths fonts to match tex-gyre text fonts
texlive-tex-gyre-math-doc-2016.122.svn41264-25.5.noarch.rpm Documentation for texlive-tex-gyre-math
texlive-tex-gyre-math-fonts-2016.122.svn41264-25.5.noarch.rpm Severed fonts for texlive-tex-gyre-math
texlive-tex-ini-files-2016.122.svn40533-25.5.noarch.rpm Model TeX format creation files
texlive-tex-ini-files-doc-2016.122.svn40533-25.5.noarch.rpm Documentation for texlive-tex-ini-files
texlive-tex-label-2016.122.svn16372-25.5.noarch.rpm Place a classification on each page of a document
texlive-tex-label-doc-2016.122.svn16372-25.5.noarch.rpm Documentation for texlive-tex-label
texlive-tex-overview-2016.122.0.0.1fsvn27724-25.5.noarch.rpm An overview of the development of TeX
texlive-tex-ps-2016.122.svn15878-25.5.noarch.rpm TeX to PostScript generic macros and add-ons
texlive-tex-ps-doc-2016.122.svn15878-25.5.noarch.rpm Documentation for texlive-tex-ps
Advertisement
Advertisement