dcernst/IBL-IntroToProof — pull request #2 by jasongrout (2012-02-16 03:25:46+00:00)
Title: ignore pdf and other tex files; delete existing pdf files

I deleted the existing pdf files and made a .gitignore file to ignore most byproducts of tex.