.gitignore

# Ignore Emacs backup files
*~
# Ignore the .DS_Store file generated on a Mac
.DS_Store
# Ignore files generated by the Coq compiler
*.vo
*.glob
*.v.d
*.native
*.ml4.d
*.mli.d
*.mllib.d
*.timing
html/
proviola/
proviola-html/
proviola-xml/
file-dep-graphs/
HoTT.deps
HoTT.dot
# Ignore files generated by LaTeX
*.aux
*.log
*.out
# Ignore stuff from autobuild
aclocal.m4
autom4te.cache
config
config.status
configure
etc/install-sh
etc/missing
hoq-config
Makefile.in
Makefile
Makefile_ssrplugin
html-done.timestamp
# Ignore links into the original Coq library
coq/dev
coq/kernel
coq/library
coq/plugins
coq/stm
coq/toploop
coq/ide
# Ignore files generated by Ocaml
*.cma
*.cmo
*.cmx
*.cmi
*.cmxs
*.o
*.a
*.cmxa
# generated dependency files:
*.d
TAGS
# ignore compiled python files
*.pyc
# ignore backup files generated by etc/Book.py
contrib/*.bak.*
# ignore generated dpdgraph files
etc/dpdgraph-0.4alpha/.depend
etc/dpdgraph-0.4alpha/Make_coq
etc/dpdgraph-0.4alpha/coqthmdep
etc/dpdgraph-0.4alpha/dpd.annot
etc/dpdgraph-0.4alpha/dpd2dot
etc/dpdgraph-0.4alpha/dpd_compute.annot
etc/dpdgraph-0.4alpha/dpd_dot.annot
etc/dpdgraph-0.4alpha/dpd_lex.annot
etc/dpdgraph-0.4alpha/dpd_lex.ml
etc/dpdgraph-0.4alpha/dpd_parse.annot
etc/dpdgraph-0.4alpha/dpd_parse.ml
etc/dpdgraph-0.4alpha/dpd_parse.mli
etc/dpdgraph-0.4alpha/version.annot
etc/dpdgraph-0.4alpha/version.ml