Commit sources of TCS2 lecture notes.