-
Notifications
You must be signed in to change notification settings - Fork 17
/
.gitignore
executable file
·73 lines (73 loc) · 2.3 KB
/
.gitignore
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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
.*.swp
.*.swo
*.log
*.lof
*.lot
*.toc
docs/*.pdf
*.aux
*.out
_build/
tags
*.aux
*.out
*.native
*.byte
*.cmi
*.cmx
*.o
*.cmo
.session
.subdirtouch
*.docdir
*.db
*.tgz
TPTP-*
Axioms
Problems
*.svg
*.dot
learning/
kb*.lock
kb*
TODO*
TAGS
src/man/
src/prover/const.ml
setup.*
examples
benchs
*.exe
*.install
.merlin
zipperposition.exe
diffs
out
tests/testCombinators.ml
no.f
target/.history
target/scala-2.12/resolution-cache/default/zipperposition_2.12/0.1.0-SNAPSHOT/resolved.xml.properties
target/scala-2.12/resolution-cache/default/zipperposition_2.12/0.1.0-SNAPSHOT/resolved.xml.xml
target/scala-2.12/resolution-cache/reports/default-zipperposition_2.12-compile-internal.xml
target/scala-2.12/resolution-cache/reports/default-zipperposition_2.12-compile.xml
target/scala-2.12/resolution-cache/reports/default-zipperposition_2.12-optional.xml
target/scala-2.12/resolution-cache/reports/default-zipperposition_2.12-plugin.xml
target/scala-2.12/resolution-cache/reports/default-zipperposition_2.12-pom.xml
target/scala-2.12/resolution-cache/reports/default-zipperposition_2.12-provided.xml
target/scala-2.12/resolution-cache/reports/default-zipperposition_2.12-runtime-internal.xml
target/scala-2.12/resolution-cache/reports/default-zipperposition_2.12-runtime.xml
target/scala-2.12/resolution-cache/reports/default-zipperposition_2.12-scala-tool.xml
target/scala-2.12/resolution-cache/reports/default-zipperposition_2.12-test-internal.xml
target/scala-2.12/resolution-cache/reports/default-zipperposition_2.12-test.xml
target/scala-2.12/resolution-cache/reports/ivy-report.css
target/scala-2.12/resolution-cache/reports/ivy-report.xsl
target/streams/$global/dependencyPositions/$global/streams/update_cache_2.12/input_dsp
target/streams/$global/dependencyPositions/$global/streams/update_cache_2.12/output_dsp
target/streams/$global/update/$global/streams/update_cache_2.12/inputs
target/streams/$global/update/$global/streams/update_cache_2.12/output
target/streams/compile/dependencyClasspath/$global/streams/export
target/streams/compile/externalDependencyClasspath/$global/streams/export
target/streams/compile/internalDependencyClasspath/$global/streams/export
target/streams/compile/managedClasspath/$global/streams/export
target/streams/compile/unmanagedClasspath/$global/streams/export
target/streams/compile/unmanagedJars/$global/streams/export