enumpde: lecture 2014-11-18
enumpde: fixes