You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
21 lines
158 B
21 lines
158 B
1 year ago
|
*.vo
|
||
|
|
*.vos
|
||
|
|
*.vok
|
||
|
|
*.vio
|
||
|
|
*.glob
|
||
|
|
*.cache
|
||
|
|
*.aux
|
||
|
|
\#*\#
|
||
|
|
.\#*
|
||
|
|
*~
|
||
|
|
*.bak
|
||
|
|
Makefile.coq
|
||
|
|
Makefile.coq.conf
|
||
|
|
.Makefile.coq.d
|
||
|
|
.coq-native/
|
||
|
|
builddep
|
||
|
|
_opam
|
||
|
|
tags
|
||
|
|
_build
|
||
|
|
public
|