Skip to content
Snippets Groups Projects
.gitignore 182 B
Newer Older
Robbert Krebbers's avatar
Robbert Krebbers committed
*.vo
Tej Chajed's avatar
Tej Chajed committed
*.vos
*.vok
Robbert Krebbers's avatar
Robbert Krebbers committed
*.vio
Ralf Jung's avatar
Ralf Jung committed
*.v.d
Ralf Jung's avatar
Ralf Jung committed
.coqdeps.d
Tej Chajed's avatar
Tej Chajed committed
.Makefile.coq.d
Robbert Krebbers's avatar
Robbert Krebbers committed
*.glob
*.cache
*.aux
Ralf Jung's avatar
Ralf Jung committed
\#*\#
Ralf Jung's avatar
Ralf Jung committed
.\#*
Ralf Jung's avatar
Ralf Jung committed
*~
Ralf Jung's avatar
Ralf Jung committed
.coqdeps.d
Robbert Krebbers's avatar
Robbert Krebbers committed
.coq-native/
Makefile.coq
Makefile.coq.conf
*.crashcoqide