15 lines
114 B
Plaintext
15 lines
114 B
Plaintext
|
*.vo
|
||
|
|
*.vio
|
||
|
|
*.v.d
|
||
|
|
*.glob
|
||
|
|
*.cache
|
||
|
|
*.aux
|
||
|
|
\#*\#
|
||
|
|
.\#*
|
||
|
|
*~
|
||
|
|
*.bak
|
||
|
|
build-dep/
|
||
|
|
Makefile.coq
|
||
|
|
Makefile.coq.conf
|
||
|
|
*.crashcoqide
|