first part of lecture 2013/02/27 added, corollary enviromenment included, gitignore changed