texlive-tex-ewd - Macros to typeset calculational proofs and programs in Dijkstra's style
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | BSD |
| Vendor: | Fuduntu.org |
- Description:
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". date: 2008-11-15 12:33:11 +0100
Packages
| texlive-tex-ewd-svn15878.0-16.fu2013.noarch [16 KiB] |
Changelog
by Jindrich Novy (2013-02-05):
- fix symlinks pointing to system utilities (#907643) - add BR: texinfo because of makeinfo |
| texlive-tex-ewd-svn15878.0-14.fu2013.noarch [15 KiB] |
Changelog
by Marek Kasik (2013-01-18):
- Rebuild (poppler-0.22.0) |