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 |
Thu, 13 Oct 2016 23:09:26 +0200 | wenzelm | tuned; | file | diff | annotate |
Sat, 08 Oct 2016 22:36:22 +0200 | wenzelm | build_history log files with formal meta info; | file | diff | annotate |
Wed, 05 Oct 2016 11:43:00 +0200 | wenzelm | misc tuning and clarification; | file | diff | annotate |
Tue, 29 Sep 2015 13:54:04 +0200 | wenzelm | clarified modules; | file | diff | annotate |