Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
61 lines (60 sloc) 844 Bytes
# 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:
TAGS
# ignore compiled python files
*.pyc
# ignore backup files generated by etc/Book.py
contrib/*.bak.*