wenzelm [Sat, 15 Oct 2016 22:45:27 +0200] rev 64236
discontinued somewhat pointless cronjob.options -- compile-time constants are sufficient;
wenzelm [Sat, 15 Oct 2016 22:24:04 +0200] rev 64235
timeout as in former isatest-makeall;
wenzelm [Sat, 15 Oct 2016 21:59:35 +0200] rev 64234
more robust quasi-unique name;
wenzelm [Sat, 15 Oct 2016 21:37:19 +0200] rev 64233
clarified signature: more static types;
wenzelm [Sat, 15 Oct 2016 21:08:04 +0200] rev 64232
clarified hg.id operation, with explicit tip as default;
wenzelm [Sat, 15 Oct 2016 21:02:39 +0200] rev 64231
added remote_build_history tasks: parallel on several remote hosts;
isabelle_identify: use self repos for robustness;
more logger context: options and ssh;
setup repository clones on demand;
clarified target repositories;
wenzelm [Sat, 15 Oct 2016 20:51:41 +0200] rev 64230
added setup_repository;
clarified root: expanded in target environment;
wenzelm [Sat, 15 Oct 2016 20:47:31 +0200] rev 64229
more operations;
wenzelm [Sat, 15 Oct 2016 19:08:32 +0200] rev 64228
expand relatively to given environment, notably remote HOME;
wenzelm [Sat, 15 Oct 2016 16:35:50 +0200] rev 64227
tuned;
wenzelm [Sat, 15 Oct 2016 16:35:18 +0200] rev 64226
tuned signature;
wenzelm [Sat, 15 Oct 2016 15:42:11 +0200] rev 64225
tuned;
wenzelm [Sat, 15 Oct 2016 15:23:06 +0200] rev 64224
clarified treatment of non-text bytes;
wenzelm [Sat, 15 Oct 2016 15:14:46 +0200] rev 64223
remove invocation of build_history: results are reported via stdout;
wenzelm [Sat, 15 Oct 2016 14:15:29 +0200] rev 64222
clarified signature;