| Fri, 27 Jul 2012 14:22:32 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 24 Jul 2012 23:01:55 +0200 | wenzelm | read/write dependency information; | file | diff | annotate |
| Sat, 21 Jul 2012 16:41:55 +0200 | wenzelm | some actual build function on ML side; | file | diff | annotate |
| Fri, 20 Jul 2012 23:16:54 +0200 | wenzelm | more abstract file system operations in Scala, corresponding to ML version; | file | diff | annotate |