CTAN has a new package: TeX-EWD

CTAN Announcements ctan-ann at dante.de
Tue Nov 11 18:42:41 CET 2008

On Mon, 10 Nov 2008, Wolfgang Helbig submitted the new


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 
.  More information is at
(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

More information about the Ctan-ann mailing list