  We give Woodin's original proof that if there exists a $(\kappa+2)-$strong
cardinal $\kappa,$ then there is a generic extension of the universe in which
$\kappa=\aleph_\omega,$ $GCH$ holds below $\aleph_\omega$ and
$2^{\aleph_\omega}=\aleph_{\omega+2}.$
