.gitignore 318 Bytes
Newer Older
1
2
3
4
# intermediate files
*~
.curry
*.state
5
6

# executables
Michael Hanus 's avatar
Michael Hanus committed
7
8
9
addtypes/AddTypes
browser/BrowserGUI
browser/SourceProgGUI
Michael Hanus 's avatar
Michael Hanus committed
10
11
CASS/cass
CASS/cass_worker
Michael Hanus 's avatar
Michael Hanus committed
12
curry2js/Curry2JS
Michael Hanus 's avatar
Michael Hanus committed
13
currypp/Translator
14
currydoc/CurryDoc
Michael Hanus 's avatar
Michael Hanus committed
15
16
currytest/CurryTest
createmakefile/CreateMakefile
Michael Hanus 's avatar
Michael Hanus committed
17
erd2curry/erd2curry
18
19
genint/GenInt
importcalls/ImportCalls
Michael Hanus 's avatar
Michael Hanus committed
20
spicey/spiceup