| 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 |