.gitignore 703 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
17
18
19
20
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
optimize/.cpm/packages/cass-2.0.0
optimize/.cpm/packages/cass-analysis-2.0.0
optimize/.cpm/packages/flatcurry-2.0.0
optimize/.cpm/packages/xml-2.0.0
21
22

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