Blame · .gitignore · 009ad71e63bf00925ecdfb71e4a163b4a9b6f581 · curry / curry-tools · GitLab

Find file Normal view History Permalink

.gitignore 237 Bytes

Newer Older

analysis and currydoc added to currytools Michael Hanus committed Oct 30, 2012	1 2 3 4	`# intermediate files ~ .curry .state`
Makefiles improved, ImportCalls added Michael Hanus committed Oct 30, 2012	5 6	`# executables`
addtypes and curry2js moved Michael Hanus committed Oct 31, 2012	7 8 9 10	`addtypes/AddTypes browser/BrowserGUI browser/SourceProgGUI curry2js/Curry2JS`
Makefiles improved, ImportCalls added Michael Hanus committed Oct 30, 2012	11	`currydoc/CurryDoc`
Fruther tools moved Michael Hanus committed Oct 31, 2012	12 13	`currytest/CurryTest createmakefile/CreateMakefile`
Makefiles improved, ImportCalls added Michael Hanus committed Oct 30, 2012	14 15	`genint/GenInt importcalls/ImportCalls`