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