.gitignore

.DS_Store
*.d
*.glob
*.vo
*.vio
*.log
*.aux
*.fdb_latexmk
*.fls
*.out
*.pdf
*.dvi
*.synctex.gz
*.prv
*.toc
.lia.cache
.#*
auto
*.fmt
Makefile.coq
Makefile.coq.conf
build-dep
*~