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 |