.gitignore 566 Bytes
Newer Older
1
2
3
# intermediate files
*~
.curry
4
Curry_Main_Goal.curry
Michael Hanus's avatar
Michael Hanus committed
5
*.agdai
Michael Hanus's avatar
Michael Hanus committed
6
*_cache
7
8
9
10
11
browser/.cpm/packages/addtypes-0.0.1
browser/.cpm/packages/cass-0.0.1
browser/.cpm/packages/cass-analysis-0.0.4
browser/.cpm/packages/importusage-0.0.1
browser/.cpm/packages/showflatcurry-0.0.1
12
13
optimize/.cpm/packages/cass-0.0.1
optimize/.cpm/packages/cass-analysis-0.0.4
14
15

# executables
Michael Hanus's avatar
Michael Hanus committed
16
browser/BrowserGUI
Michael Hanus's avatar
Michael Hanus committed
17
18
CASS/cass
CASS/cass_worker
Michael Hanus's avatar
Michael Hanus committed
19
cpm/src/CPM.Main
20
cpns/CPNSD
Michael Hanus's avatar
Michael Hanus committed
21
curry2js/Curry2JS
22
currypp/Main
Michael Hanus's avatar
Michael Hanus committed
23
currycheck/CurryCheck
24
currydoc/CurryDoc
Michael Hanus's avatar
Michael Hanus committed
25
optimize/BindingOpt
Michael Hanus's avatar
Michael Hanus committed
26
runcurry/RunCurry
27
28
www/Registry
www/SubmitForm