Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
# use glob syntax.
syntax: glob
# temporary files
*.aux
*.log
*.out
*.toc
*.synctex.gz
*.nav
*.snm
# artifacts
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