| Wed, 24 Feb 2016 23:36:45 +0100 | wenzelm | more informative Build.build_results; | changeset | files |
| Wed, 24 Feb 2016 22:40:19 +0100 | wenzelm | more informative Process_Result; | changeset | files |
| Wed, 24 Feb 2016 22:11:28 +0100 | wenzelm | clarified modules; | changeset | files |
| Wed, 24 Feb 2016 22:03:24 +0100 | wenzelm | tuned signature; | changeset | files |