.gitignore

# Ignore Emacs backup files
*~

# Ignore the .DS_Store file generated on a Mac
.DS_Store

# Ignore files generated by the Coq compiler
*.vo
*.vos
*.vok
*.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/toplevel
coq/ide

# Ignore files generated by Ocaml
*.cma
*.cmo
*.cmx
*.cmi
*.cmxs
*.o
*.a
*.cmxa

# generated dependency files:
TAGS

# ignore compiled python files
*.pyc

# ignore backup files generated by etc/Book.py
contrib/*.bak.*


*.crashcoqide
.vscode/

# ignore dune _build directory
_build/