.gitignore 303 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
*.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
29
30
*.vos
*.vok
Ralf Jung's avatar
Ralf Jung committed
31
32
Makefile.coq
Makefile.coq.conf
33
.Makefile.coq.d
Hai Dang's avatar
Hai Dang committed
34
35
*.crashcoqide
.coqdeps.d
Ralf Jung's avatar
Ralf Jung committed
36
builddep
Ralf Jung's avatar
Ralf Jung committed
37
_opam
Ralf Jung's avatar
Ralf Jung committed
38
.lia.cache