in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
# use glob syntax.
syntax: glob
# temporary files
*.aux
*.log
*.out
*.toc
*.synctex.gz*
*.nav
*.snm
# artifacts
pnas.pdf
blob1.pdf
sandbox.pdf
blob1.dvi
blob.tar.gz
# bibliograph stuff
*.bbl
*.blg
bibliography
# generic OSX crap
.DS_Store
# latex2pdf temporary files
diagrams/latex2pdf/defontify.dvi
diagrams/latex2pdf/defontify.pdf
diagrams/latex2pdf/defontify.ps
diagrams/latex2pdf/nofonts.ps