.gitignore
# General
.depend
.bkp/
# Coq
*.aux
*.glob
*.vo
# LaTeX
*.tex
*.vrb
*.toc
*.toc
*.snm
*.out
*.nav
*.aux
*.log
# we keep *.pdf to ease sharing of slides
notes.*
# General
.depend
.bkp/
# Coq
*.aux
*.glob
*.vo
# LaTeX
*.tex
*.vrb
*.toc
*.toc
*.snm
*.out
*.nav
*.aux
*.log
# we keep *.pdf to ease sharing of slides
notes.*