syntax: glob

*~
\#*\#

*.depend
Makefile.coq
*.vo
*.glob
*.v.d
deps.dot
deps.pdf
src/ILTac.v

*.aux
*.bbl
*.blg
*.log
*.out
docs/nepls-pl-day/*.pdf
timing/
*.cmo
*.cmx
*.cmxs
*.cmi
*.o
*.ml4.d
