.gitignore 536 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
optimize/.cpm/packages/cass-0.0.1
optimize/.cpm/packages/cass-analysis-0.0.4
9
10

# executables
Michael Hanus's avatar
Michael Hanus committed
11
12
addtypes/AddTypes
browser/BrowserGUI
13
14
browser/GenInt
browser/ShowFlatCurry
Michael Hanus's avatar
Michael Hanus committed
15
browser/SourceProgGUI
Michael Hanus's avatar
Michael Hanus committed
16
casc/CASC
17
casc/Docs/curry-style-guide.html
Michael Hanus's avatar
Michael Hanus committed
18
19
CASS/cass
CASS/cass_worker
Michael Hanus's avatar
Michael Hanus committed
20
cpm/src/CPM.Main
21
cpns/CPNSD
Michael Hanus's avatar
Michael Hanus committed
22
curry2js/Curry2JS
23
currypp/Main
Michael Hanus's avatar
Michael Hanus committed
24
currycheck/CurryCheck
25
currydoc/CurryDoc
Michael Hanus's avatar
Michael Hanus committed
26
currytest/CurryTest
27
importcalls/ImportCalls
Michael Hanus's avatar
Michael Hanus committed
28
optimize/BindingOpt
Michael Hanus's avatar
Michael Hanus committed
29
runcurry/RunCurry
30
31
www/Registry
www/SubmitForm