Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

texlive-tex-ewd-15878-1 RPM for noarch

From OpenMandriva Cooker for x86_64 / main / release

Name: texlive-tex-ewd Distribution: OpenMandriva Lx
Version: 15878 Vendor: OpenMandriva
Release: 1 Build date: Mon Nov 14 22:16:33 2022
Group: Publishing Build host: c64-5.openmandriva.org
Size: 28043 Source RPM: texlive-tex-ewd-15878-1.src.rpm
Packager: bero <bero@lindev.ch>
Url: http://www.ctan.org/tex-archive/macros/generic/tex-ewd
Summary: Macros to typeset calculational proofs and programs in Dijkstra's style
 
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".

Provides

Requires

License

BSD

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

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed May 1 23:04:55 2024