knuton/proof-theory — pull request #5 by knuton (2012-10-13 17:15:01+00:00)
Title: Add Makefile for building PDF

I added this so I can build the PDF from Vim easily.

If you are not interested, I can also add it to `.gitignore`.