[tex-live] orphan tex-ewd

[Victor Ivrii]

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

-- 
========================
Victor Ivrii, Professor, Department of Mathematics, University of Toronto
http://www.math.toronto.edu/ivrii