abstools/.gitignore at master · fahrinh/abstools · 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
.DS_Store
/.vagrant
.rebar/
ebin/
bin/
build/
/**/gen/
/**/dist/
/frontend/**/*.beam
/abs-docs/**/*.aux
/abs-docs/**/*.bbl
/abs-docs/**/*.blg
/abs-docs/**/*.log
/abs-docs/**/*.nout
/abs-docs/**/*.toc
/abs-docs/**/*.out
/abs-docs/ReferenceManual/gitRevision.tex
/abs-docs/target/
/abs-docs/Ott/Makefile.coq
/abs-docs/Ott/**/*.glob
/abs-docs/Ott/**/*.vo
/abs-docs/Ott/core_abs.v
/abs-docs/Ott/core_abs.v.d
/abs-docs/Ott/core-abs-coq.pdf
/abs-docs/Ott/core-abs-coq.tex
/abs-docs/Ott/core-abs.pdf
/abs-docs/Ott/core-abs_included.tex
/eclipse/eclipse-plugin/update-site/
/eclipse/apet-plugin/apet_exe
/eclipse/costabs-plugin/costabs_exe
eclipsehome.properties
.bundle/
.metadata/