.gitignore 277 Bytes
Newer Older
Robbert Krebbers's avatar
Robbert Krebbers committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
*.pdf
*.aux
*.log
*.out
*.synctex.gz
*.txss
*.thm
*.toc
*.bbl
*.blg
*.bcf
*.run.xml
_*_.tex
**/auto/*.el
\#*\#
.\#*
*~
*.bak
*.zip
*.nav
*.snm
*.vrb
*.fdb_latexmk
*.fls
*.vo
26
27
*.vos
*.vok
Robbert Krebbers's avatar
Robbert Krebbers committed
28
29
30
31
32
33
34
35
*.glob
*.v.d
*.vio
Makefile.coq*
*.crashcoqide
.coqdeps.d
build-dep
_opam
Amin Timany's avatar
Amin Timany committed
36
.lia.cache
Amin Timany's avatar
Amin Timany committed
37
/html