Lecture workspace files.