fixed page numbering
newly rendered pdfs: pdfs/main_2013-06-26_23-41.pdf pdfs/diff_2013-06-26_23-41.pdf
a few changes 1
a few changes 2
newly rendered pdfs: pdfs/main_2013-06-27_01-06.pdf pdfs/diff_2013-06-27_01-06.pdf
made .gitignore ignore main.pdf
a few changes 3
a few changes 4, negations
newly rendered pdfs: pdfs/main_2013-06-27_02-11.pdf pdfs/diff_2013-06-27_02-11.pdf