On leaving the hall, the students (to thank) tie professor

On leaving the hall, the students (to thank) tie professor who (to deliver) the lecture. We already (to cover) about ten miles when Peter, who (to look) out of the window for the last five or ten minutes, suddenly exclaimed, "Here is the station!"