gapt/.gitignore at master · loewenheim/gapt · GitHub

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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
# sbt
target

# custom scripts
/*.scala

# proof tarballs
testing/TSTP/prover9
testing/TSTP/leanCoP
testing/veriT-SMT-LIB/QF_UF

# cut-intro experiments
/*.json
/termsets

# latex
doc/*.aux
doc/*.bbl
doc/*.blg
doc/*.log
doc/*.pdf
doc/*.toc
doc/*.fdb_latexmk
doc/*.fls
doc/*.out
doc/auto
doc/_region_.*
doc/prv_user_manual.fmt
doc/*.tex.backup
*-proposal/*.aux
*-proposal/*.bbl
*-proposal/*.blg
*-proposal/*.log
*-proposal/*.pdf
*-proposal/*.toc
*-proposal/*.fdb_latexmk
*-proposal/*.fls
*-proposal/*.out
*-proposal/*.synctex.gz

# vim
.*.sw?

# idea
.idea

# eclipse
.project
.classpath
.cache
.cache-main
.cache-test
.cache-tests
*.settings


# emacs
/.ensime*