| Fri, 26 May 2017 11:09:16 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 25 May 2017 17:32:35 +0200 | wenzelm | more operations; | file | diff | annotate |
| Tue, 23 May 2017 11:47:35 +0200 | wenzelm | clarified build.out progress; | file | diff | annotate |
| Sun, 21 May 2017 20:11:12 +0200 | wenzelm | more Progress variations; | file | diff | annotate |
| Sun, 14 May 2017 17:05:06 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 14 May 2017 17:00:57 +0200 | wenzelm | clarified interface; | file | diff | annotate |
| Mon, 16 Jan 2017 21:53:44 +0100 | wenzelm | tuned signature; | file | diff | annotate |