ctan-ann - tex-ewd https://www.ctan.org/ctan-ann/rss/tex-ewd.xml CTAN announcements mailing list - for package tex-ewd Mon, 15 Jun 2026 19:04:56 +0200 en-US 60 webmaster@ctan.org (Comprehensive TeX Archive Network) Comprehensive TeX Archive Network https://www.ctan.org/assets/favicon/android-chrome-48x48.png https://www.ctan.org/ctan-ann/rss/tex-ewd.xml CTAN has a new package: TeX-EWD https://www.ctan.org/ctan-ann/id/alpine.DEB.1.00.0811111841410.12062@wintermute.proteosys 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". ... ]]> Tue, 11 Nov 2008 18:42:41 +0100 https://www.ctan.org/ctan-ann/id/alpine.DEB.1.00.0811111841410.12062@wintermute.proteosys