writing!
Merge branch 'master' of git://github.com/w7cook/PL_book
add more make clean targets
fixed points
Merge branch 'master' of git://github.com/w7cook/PL_book