*.aux
*.fdb_latexmk
*.fls
*.log
*.pdf
wip/proof/.skip