# intermediate files
*~
.curry
Curry_Main_Goal.curry
*.agdai

# executables
addtypes/AddTypes
browser/BrowserGUI
browser/GenInt
browser/ShowFlatCurry
browser/SourceProgGUI
casc/CASC
casc/Docs/curry-style-guide.html
CASS/cass
CASS/cass_worker
createmakefile/CreateMakefile
curry2js/Curry2JS
currypp/Main
currypp/ContractWrapper/cwrapper
currycheck/CurryCheck
currydoc/CurryDoc
currytest/CurryTest
cusage/CheckUsage
ertools/ERD2CDBI
ertools/ERD2Curry
importcalls/ImportCalls
optimize/bindingopt
optimize/binding_optimization/BindingOpt
runcurry/RunCurry
spicey/spiceup
verification/ToVerifier
xmldata/Data2Xml
