| Sat, 27 May 2017 22:52:08 +0200 | nipkow | more arg_min | changeset | files |
| Sat, 27 May 2017 15:48:22 +0200 | wenzelm | no exit code from build processes by default, e.g. relevant for non-strict results of remote_build_history; | changeset | files |
| Sat, 27 May 2017 13:24:01 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 27 May 2017 13:20:35 +0200 | wenzelm | clarified build errors; | changeset | files |
| Sat, 27 May 2017 13:07:27 +0200 | wenzelm | tuned layout; | changeset | files |
| Sat, 27 May 2017 13:01:25 +0200 | wenzelm | tuned signature; | changeset | files |