- Name: texlive-tex-ewd
- Version: svn15878.0
- Release: 20.fc18
- Epoch: 2
- Group: Applications/Publishing
- License: BSD
- Url: http://tug.org/texlive/
- Summary: Macros to typeset calculational proofs and programs in Dijkstra's style
- Architecture: noarch
- Size: 7400
- Distribution: Fedora Project
- Vendor: Fedora Project
- Packager: Fedora Project
Description:
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: 2008-11-15 12:33:11 +0100
- OptFlags: -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic
- Cookie:
- Buildhost: buildvm-25.phx2.fedoraproject.org