.gitignore 265 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
26
27
28
29
30
31
32
33
*.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
*.glob
*.v.d
*.vio
Makefile.coq*
*.crashcoqide
.coqdeps.d
build-dep
_opam
Amin Timany's avatar
Amin Timany committed
34
.lia.cache
Amin Timany's avatar
Amin Timany committed
35
/html