  In a preprint from 1982, John Milnor formulated various fundamental questions
concerning infinite-dimensional Lie groups. In this note, we describe some of
the answers (and partial answers) obtained in the preceding years.
