# Generated Makefile
/Makefile
/Makefile.conf

# Make dependencies
*.d

# Backup files
*.bak

# emacs backup files
*~

# vim backup files
\#*\#

# Coq annotation files
*.glob

# Coq auxiliary files
.*.aux

# Coq compilation unit
*.vo
*.vos
*.vok

*.annot
*.cmo
*.cma
*.cmi
*.a
*.o
*.cmi
*.cmt
*.cmti
*.cmx
*.cmxs
*.cmxa

# ocamlbuild targets
*.byte
*.native

# oasis generated files
/setup.data
/setup.log

# locals for emacs
.dir-locals.el

# output of tests
src/metaCoqInit.ml
src/metaCoqTactic.ml

# ocamlbuild working directory
_build/
.merlin
*.install
