# General
.depend
.bkp/

# Coq
*.aux
*.glob
*.vo
*.vok
*.vos
*.cache
# Generated by configure and coq_makefile
_CoqProject
Makefile
.Makefile.d
.coqdeps.d

# OCaml
*.cmi
*.cmo
_opam/

# LaTeX
*.tex
*.vrb
*.toc
*.toc
*.snm
*.out
*.nav
*.aux
*.log
*.sty
# we keep *.pdf to ease sharing of slides
notes.*
*~
Makefile.conf
CoqMakefile.conf