84 lines
1.1 KiB
Plaintext
84 lines
1.1 KiB
Plaintext
|
# ---> Coq
|
||
|
|
.*.aux
|
||
|
|
.*.d
|
||
|
|
*.a
|
||
|
|
*.cma
|
||
|
|
*.cmi
|
||
|
|
*.cmo
|
||
|
|
*.cmx
|
||
|
|
*.cmxa
|
||
|
|
*.cmxs
|
||
|
|
*.glob
|
||
|
|
*.ml.d
|
||
|
|
*.ml4.d
|
||
|
|
*.mlg.d
|
||
|
|
*.mli.d
|
||
|
|
*.mllib.d
|
||
|
|
*.mlpack.d
|
||
|
|
*.native
|
||
|
|
*.o
|
||
|
|
*.v.d
|
||
|
|
*.vio
|
||
|
|
*.vo
|
||
|
|
*.vok
|
||
|
|
*.vos
|
||
|
|
.coq-native
|
||
|
|
.csdp.cache
|
||
|
|
.lia.cache
|
||
|
|
.nia.cache
|
||
|
|
.nlia.cache
|
||
|
|
.nra.cache
|
||
|
|
csdp.cache
|
||
|
|
lia.cache
|
||
|
|
nia.cache
|
||
|
|
nlia.cache
|
||
|
|
nra.cache
|
||
|
|
native_compute_profile_*.data
|
||
|
|
|
||
|
|
# generated timing files
|
||
|
|
*.timing.diff
|
||
|
|
*.v.after-timing
|
||
|
|
*.v.before-timing
|
||
|
|
*.v.timing
|
||
|
|
time-of-build-after.log
|
||
|
|
time-of-build-before.log
|
||
|
|
time-of-build-both.log
|
||
|
|
time-of-build-pretty.log
|
||
|
|
|
||
|
|
# ---> Vim
|
||
|
|
# Swap
|
||
|
|
[._]*.s[a-v][a-z]
|
||
|
|
!*.svg # comment out if you don't need vector files
|
||
|
|
[._]*.sw[a-p]
|
||
|
|
[._]s[a-rt-v][a-z]
|
||
|
|
[._]ss[a-gi-z]
|
||
|
|
[._]sw[a-p]
|
||
|
|
|
||
|
|
# Session
|
||
|
|
Session.vim
|
||
|
|
Sessionx.vim
|
||
|
|
|
||
|
|
# Temporary
|
||
|
|
.netrwhist
|
||
|
|
*~
|
||
|
|
# Auto-generated tag files
|
||
|
|
tags
|
||
|
|
# Persistent undo
|
||
|
|
[._]*.un~
|
||
|
|
|
||
|
|
# ---> Linux
|
||
|
|
*~
|
||
|
|
|
||
|
|
# temporary files which can be created if a process still has a handle open of a deleted file
|
||
|
|
.fuse_hidden*
|
||
|
|
|
||
|
|
# KDE directory preferences
|
||
|
|
.directory
|
||
|
|
|
||
|
|
# Linux trash folder which might appear on any partition or disk
|
||
|
|
.Trash-*
|
||
|
|
|
||
|
|
# .nfs files are created when an open file is removed but is still being accessed
|
||
|
|
.nfs*
|
||
|
|
|