Email Record: Recent progress in homotopy theory :