Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: 3c66d8de27
Fetching contributors…

Cannot retrieve contributors at this time

21 lines (20 sloc) 0.352 kb
# 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
coq/plugins
# Ignore stuff from autobuild
Makefile.in
aclocal.m4
autom4te.cache
config.status
Jump to Line
Something went wrong with that request. Please try again.