.gitignore 1.02 KB
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
8
9
10
11
12
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
13
currycheck/.cpm/packages/rewriting-0.0.1
14
15
currypp/.cpm/packages/cass-0.0.1
currypp/.cpm/packages/cass-analysis-0.0.4
Michael Hanus's avatar
Michael Hanus committed
16
currypp/.cpm/packages/cdbi-1.0.0
17
18
currypp/.cpm/packages/currycheck-1.0.1
currypp/.cpm/packages/rewriting-0.0.1
Michael Hanus's avatar
Michael Hanus committed
19
currypp/.cpm/packages/abstract-curry-1.0.0
Michael Hanus's avatar
Michael Hanus committed
20
currypp/.cpm/packages/flatcurry-1.0.0
Michael Hanus's avatar
Michael Hanus committed
21
currypp/.cpm/packages/html-1.1.0
Michael Hanus's avatar
Michael Hanus committed
22
currypp/.cpm/packages/xml-0.0.1
23
24
optimize/.cpm/packages/cass-0.0.1
optimize/.cpm/packages/cass-analysis-0.0.4
Michael Hanus's avatar
Michael Hanus committed
25
26
optimize/.cpm/packages/flatcurry-1.0.0
optimize/.cpm/packages/xml-0.0.1
27
28

# executables
Michael Hanus's avatar
Michael Hanus committed
29
browser/BrowserGUI
Michael Hanus's avatar
Michael Hanus committed
30
31
CASS/cass
CASS/cass_worker
Michael Hanus's avatar
Michael Hanus committed
32
cpm/src/CPM.Main
33
cpns/CPNSD
Michael Hanus's avatar
Michael Hanus committed
34
curry2js/Curry2JS
35
currypp/Main
Michael Hanus's avatar
Michael Hanus committed
36
currycheck/CurryCheck
37
currydoc/CurryDoc
Michael Hanus's avatar
Michael Hanus committed
38
optimize/BindingOpt
Michael Hanus's avatar
Michael Hanus committed
39
runcurry/RunCurry
40
41
www/Registry
www/SubmitForm