texlive-tex-ewd-svn15878.0-33.fc26.2.noarch.rpm


Advertisement

Description

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

Property Value
Distribution Fedora 26
Repository Fedora i386
Package name texlive-tex-ewd
Package version svn15878.0
Package release 33.fc26.2
Package architecture noarch
Package type rpm
Installed size 7.23 KB
Download size 35.64 KB
Official Mirror archives.fedoraproject.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-svn15878.0-33.fc26.2.noarch.rpm svn15878.0 noarch Fedora
texlive-tex-ewd - - -

Requires

Name Value
tex-kpathsea -
texlive-base -
texlive-kpathsea-bin -

Provides

Name Value
tex(dotnot.tex) = 2016
tex-tex-ewd = 2016
texlive-tex-ewd = svn15878.0-33.fc26.2

Download

Type URL
Binary Package texlive-tex-ewd-svn15878.0-33.fc26.2.noarch.rpm
Source Package texlive-2016-33.20160520.fc26.1.src.rpm

Install Howto

Install the texlive-tex-ewd rpm package:

# dnf install texlive-tex-ewd

Files

Path
/usr/share/licenses/texlive-tex-ewd/bsd.txt
/usr/share/texlive/texmf-dist/tex/generic/tex-ewd/dotnot.tex

Changelog

See texlive-2016-33.20160520.fc26.1.i686.rpm changelog.

See Also

Package Description
texlive-tex-font-errors-cheatsheet-doc-svn18314.0.1-33.fc26.2.noarch.rpm Documentation for tex-font-errors-cheatsheet
texlive-tex-gyre-doc-svn18651.2.004-33.fc26.2.noarch.rpm Documentation for tex-gyre
texlive-tex-gyre-math-doc-svn41264-33.fc26.2.noarch.rpm Documentation for tex-gyre-math
texlive-tex-gyre-math-svn41264-33.fc26.2.noarch.rpm Maths fonts to match tex-gyre text fonts
texlive-tex-gyre-svn18651.2.004-33.fc26.2.noarch.rpm TeX Fonts extending freely available URW fonts
texlive-tex-ini-files-doc-svn40533-33.fc26.2.noarch.rpm doc files of tex-ini-files
texlive-tex-ini-files-svn40533-33.fc26.2.noarch.rpm Model TeX format creation files
texlive-tex-label-doc-svn16372.0-33.fc26.2.noarch.rpm Documentation for tex-label
texlive-tex-label-svn16372.0-33.fc26.2.noarch.rpm Place a classification on each page of a document
texlive-tex-overview-doc-svn41403-33.fc26.2.noarch.rpm Documentation for tex-overview
texlive-tex-ps-doc-svn15878.0-33.fc26.2.noarch.rpm Documentation for tex-ps
texlive-tex-ps-svn15878.0-33.fc26.2.noarch.rpm TeX to PostScript generic macros and add-ons
texlive-tex-refs-doc-svn31946.0.4.8-33.fc26.2.noarch.rpm Documentation for tex-refs
texlive-tex-svn40793-33.fc26.2.noarch.rpm A sophisticated typesetting engine
texlive-tex-virtual-academy-pl-doc-svn34177.0-33.fc26.2.noarch.rpm Documentation for tex-virtual-academy-pl
Advertisement
Advertisement