ctan-ann - tex-ewdAnnouncements of the Comprehensive TeX Archive Networkctan-ann-tex-ewd2026-06-16T01:31:01ZCTAN has a new package: TeX-EWDalpine.DEB.1.00.0811111841410.12062@wintermute.proteosys2008-11-11T18:42:41ZOn Mon, 10 Nov 2008, Wolfgang Helbig submitted the new
tex-ewd
package to CTAN.
...
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".
...
]]>
CTAN Announcementsctan-ann at dante.de