Tue, 24 Jul 2012 10:44:36 +0200 | wenzelm | timing for whole session; | file | diff | annotate |
Tue, 24 Jul 2012 10:43:13 +0200 | wenzelm | tuned options; | file | diff | annotate |
Tue, 24 Jul 2012 10:39:03 +0200 | wenzelm | timing is command line options, not system option; | file | diff | annotate |
Tue, 24 Jul 2012 10:11:49 +0200 | wenzelm | clarified document options; | file | diff | annotate |
Tue, 24 Jul 2012 00:29:36 +0200 | wenzelm | pass build options to ML; | file | diff | annotate |
Sat, 21 Jul 2012 17:49:22 +0200 | wenzelm | save image for inner nodes only; | file | diff | annotate |
Sat, 21 Jul 2012 16:41:55 +0200 | wenzelm | some actual build function on ML side; | file | diff | annotate |