# CTAN has a new package: TeX-EWD

Date: November 11, 2008 6:42:41 PM CET

On Mon, 10 Nov 2008, Wolfgang Helbig submitted the new
tex-ewd
package to CTAN.
Location on CTAN: /macros/generic/tex-ewd
Summary description: Macros to typeset calculational proofs and programs in Dijkstra's style.
License type: bsd
Announcement text:

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 Dijkstras "guarded command language".

This package is located at http://mirror.ctan.org/macros/generic/tex-ewd . More information is at http://tug.ctan.org/info/?id=tex-ewd (if the package is new it may take a day for that information to appear). We are supported by the TeX Users Group http://www.tug.org . Please join a users group; see http://www.tug.org/usergroups.html . _______________________________________________ Thanks for the upload. For the CTAN Team Rainer Schöpf

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 Dijkstras "guarded command language".

This package is located at http://mirror.ctan.org/macros/generic/tex-ewd . More information is at http://tug.ctan.org/info/?id=tex-ewd (if the package is new it may take a day for that information to appear). We are supported by the TeX Users Group http://www.tug.org . Please join a users group; see http://www.tug.org/usergroups.html . _______________________________________________ Thanks for the upload. For the CTAN Team Rainer Schöpf

## tex-ewd – 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”.

Package | tex-ewd |

Version | 2008-11-10 |

Copyright | 2008 Wolfgang Helbig |

Maintainer | Wolfgang Helbig |