Makefile
META.coq-unicoq
*.bak
*.cm*
*.d
*.a
*.aux
*.vo
*.glob
.coq-native
*.o
*.vio
*.log
*.aux
*.dvi
*.blg
*.bbl
*.idx
*.ilg
*.toc
*.atoc
*.comidx
*.comind
*.erridx
*.errind
*.haux
*.hcomind
*.herrind
*.hind
*.htacind
*.htoc
*.ind
*.lof
*.tacidx
*.tacind
*.v.tex
*.v.pdf
*.v.ps
*.v.html
*.stamp
coqdoc.sty
doc/*.html
doc/*.css
*.conf
*.vok
*.vos
src/unitactics.ml

# emacs save files
*~
\#*\#

# Dune
_build
.merlin
*.install
