.gitignore 809 Bytes
Newer Older
1
2
3
# intermediate files
*~
.curry
4
Curry_Main_Goal.curry
Michael Hanus 's avatar
Michael Hanus committed
5
cpm/src/CPM/ConfigPackage.curry
Michael Hanus 's avatar
Michael Hanus committed
6
*.agdai
Michael Hanus 's avatar
Michael Hanus committed
7
*_cache
Michael Hanus 's avatar
Michael Hanus committed
8
9
currypp/.cpm/packages/cass-2.0.0
currypp/.cpm/packages/cass-analysis-2.0.0
Michael Hanus 's avatar
Michael Hanus committed
10
currypp/.cpm/packages/cdbi-2.0.0
Michael Hanus 's avatar
Michael Hanus committed
11
12
13
14
15
16
currypp/.cpm/packages/currycheck-2.0.0
currypp/.cpm/packages/rewriting-2.0.0
currypp/.cpm/packages/abstract-curry-2.0.0
currypp/.cpm/packages/flatcurry-2.0.0
currypp/.cpm/packages/html-2.0.0
currypp/.cpm/packages/xml-2.0.0
Michael Hanus 's avatar
Michael Hanus committed
17
18
currypp/.cpm/packages/fl-parser-1.0.0
currypp/.cpm/packages/regexp-1.1.0
Michael Hanus 's avatar
Michael Hanus committed
19
20
21
optimize/.cpm/packages/cass-2.0.0
optimize/.cpm/packages/cass-analysis-2.0.0
optimize/.cpm/packages/flatcurry-2.0.0
Michael Hanus 's avatar
Michael Hanus committed
22
optimize/.cpm/packages/csv-1.0.0
Michael Hanus 's avatar
Michael Hanus committed
23
optimize/.cpm/packages/xml-2.0.0
24
25

# executables
Michael Hanus 's avatar
Michael Hanus committed
26
cpm/src/CPM.Main
27
cpns/CPNSD
28
currypp/Main
Michael Hanus 's avatar
Michael Hanus committed
29
optimize/BindingOpt
Michael Hanus 's avatar
Michael Hanus committed
30
runcurry/RunCurry
31
32
www/Registry
www/SubmitForm