Skip to content
Find file
Fetching contributors…
Cannot retrieve contributors at this time
18 lines (17 sloc) 320 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
# Ignore files generated by LaTeX
*.aux
*.log
*.out
# Ignore the dependency file created by coqdep
.depend
# Ignore local settings
Coq/IT/.dirlocals
Coq/IT/coqidescript
Something went wrong with that request. Please try again.