Blame · .gitignore · 01a04841ac7a83294ad6e095485c92fce2bb6836 · curry / curry-tools · GitLab

Find file Normal view History Permalink

.gitignore 171 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`
currytools collection extended Michael Hanus committed Oct 31, 2012	7 8	`browser/BrowserGUI browser/SourceProgGUI`
Makefiles improved, ImportCalls added Michael Hanus committed Oct 30, 2012	9	`currydoc/CurryDoc`
currytools collection extended Michael Hanus committed Oct 31, 2012	10	`currytest/CurryTest`
Makefiles improved, ImportCalls added Michael Hanus committed Oct 30, 2012	11 12	`genint/GenInt importcalls/ImportCalls`