[tex-live] orphan tex-ewd

Victor Ivrii vivrii at gmail.com
Fri Dec 5 21:39:38 CET 2008

This package does not belong to any collection and thus is not installed by
tlmgr update --all

%tlmgr show tex-ewd
tlmgr: installation location http://ctan.org/systems/texlive/tlnet/2008
Package:    tex-ewd
Category:   Package
ShortDesc:  Macros to typeset calculational proofs and programs in
Dijkstra's style.
LongDesc:   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".
Installed:  Yes
Revision:   11261


Victor Ivrii, Professor, Department of Mathematics, University of Toronto

More information about the tex-live mailing list