a few changes 5
a few changes 6
a few changes 7
newly rendered pdfs: pdfs/main_2013-06-27_03-35.pdf pdfs/diff_2013-06-27_03-35.pdf
newly rendered pdfs: pdfs/main_2013-06-27_03-42.pdf pdfs/diff_2013-06-27_03-42.pdf