sweirich/pi-forall — pull request #10 by jstolarek (2014-10-08 14:48:47+00:00)
Title: Fix formatting and errors in notes2.md

Mostly turning tabs into spaces.