The previous years have seen a revolution in our understanding of the foundations of stable homotopy theory. Many symmetric monoidal model categories of spectra whose homotopy categories are equivalent to the stable homotopy category are now known, whereas no such categories were known before 1993.