.gitignore

*.glob
*.d
*.d.raw
*.vos
*.vok
*.vo
*.cm*
*.annot
*.spit
*.spot
*.o
*.a
*.pyc
*.log
*.aux
*.dvi
*.pdf
*.blg
*.bbl
*.idx
*.ilg
*.toc
*.atoc
*.comidx
*.comind
*.erridx
*.errind
*.haux
*.hcomind
*.herrind
*.hind
*.htacind
*.htoc
*.ind
*.lof
*.tacidx
*.tacind
*.v.tex
*.v.ps
*.v.timing
*.v.timing.diff
*.v.before-timing
*.v.after-timing
*.v.html
*.stamp
*.native
revision
TAGS
.DS_Store
.pc
_build
_build_vo
_build_ci
_install_ci
config/Makefile
config/coq_config.ml
config/coq_byte_config.ml
config/coq_config.py
config/dune.c_flags
ide/coqide/config.ml
dev/ocamldebug-coq
coqdoc.sty
coqdoc.css
time-of-build*.log
time-of-build*.log2
time-of-build*.log3
.csdp.cache
test-suite/.lia.cache
test-suite/.nra.cache
test-suite/.nia.cache
test-suite/trace
test-suite/misc/universes/all_stdlib.v
test-suite/misc/universes/universes.txt
test-suite/coq-makefile/*/actual
test-suite/coq-makefile/*/desired
test-suite/coq-makefile/**/*.processed
test-suite/coq-makefile/**/Makefile
test-suite/coq-makefile/**/Makefile.conf
test-suite/coq-makefile/*/src
test-suite/coq-makefile/*/theories
test-suite/coq-makefile/*/theories2
test-suite/coq-makefile/*/html
test-suite/coq-makefile/*/mlihtml
test-suite/coq-makefile/*/subdir/done
test-suite/coq-makefile/merlin1/.merlin
test-suite/coqdoc/Coqdoc.*
test-suite/coqdoc/index.html
test-suite/coqdoc/coqdoc.css
test-suite/output/MExtraction.out
test-suite/output/*.out.real
test-suite/oUnit-anon.cache
test-suite/redirect_test.out
test-suite/unit-tests/**/*.test
test-suite/ide/fake_ide.exe
test-suite/Datatypes.ml
test-suite/Datatypes.mli
test-suite/bug_10796.ml
test-suite/bug_10796.mli
test-suite/**/*.time

# `nix build` (through flake) symlink
result

# documentation

doc/common/version.tex
doc/faq/html/
doc/faq/axioms.eps
doc/faq/axioms.eps_t
doc/faq/axioms.pdf_t
doc/faq/axioms.png
doc/sphinx/index.rst
doc/sphinx/zebibliography.rst
doc/stdlib/Library.out
doc/stdlib/Library.ps
doc/stdlib/Library.coqdoc.tex
doc/stdlib/FullLibrary.ps
doc/stdlib/FullLibrary.coqdoc.tex
doc/stdlib/html/
doc/stdlib/index-body.html
doc/stdlib/index-list.html
doc/tools/docgram/editedGrammar
doc/tools/docgram/prodnGrammar
doc/tools/docgram/prodnCommands
doc/tools/docgram/prodnTactics
doc/tools/docgram/updated_rsts

# other auto-generated files

ide/coqide/default.bindings
ide/coqide/default_bindings_src.exe
ide/coqide/index_urls.txt
.lia.cache
.nia.cache
.nra.cache

# emacs save files
*~
\#*\#

# vscode local config
.vscode/

# coqide generated files (when testing)
*.crashcoqide

.*.sw*
.#*

ide/coqide/coqide.keys
.dune.lock

# bin compat directory, should be eventually be phased out
bin

# generated by dune build -p
*.install

.dune-stamp
theories/dune
user-contrib/Ltac2/dune
/test-suite/test_suite_config.inc