.gitignore

.depend
*.annot
*.cmo
*.cma
*.cmi
*.a
*.o
*.cmx
*.cmxs
*.cmxa
*.ml4.d
version.ml

autom4te.cache
configure
Makefile
config.log
config.status
*.aux
*.glob
*.mllib.d
*.v.d
*.vo
*.v~

dpd2dot
dpd2
dpdusage
Make_coq
dpd_lex.ml
dpd_parse.ml
dpd_parse.mli
tests/*.log
tests/*.ok
tests/*.dot
tests/*.dpd
tests/*.glob
tests/Test.vo

dhruv/coqdhruv
regexp/coqregexp
mathcomp
stdlib
*.dpd
*.csv
*.txt
*.vim
*.svg
*.R*
!*.R