In .olt format rather than PDF, per email
mv ML.odt lect07.odt