Source files of lecture slides