isabelle: Changelog

wenzelm [Tue, 18 Oct 2016 15:31:08 +0200] rev 64303

another attempt to squeeze a list into a property list entry;

wenzelm [Tue, 18 Oct 2016 15:18:58 +0200] rev 64302

report actual build_args;

wenzelm [Tue, 18 Oct 2016 15:09:52 +0200] rev 64301

more flexible multicore configuration;

wenzelm [Tue, 18 Oct 2016 14:32:51 +0200] rev 64300

clarified multiple props: result needs to fit on a single line within the log file;

wenzelm [Tue, 18 Oct 2016 13:56:49 +0200] rev 64299

clarified properties;

wenzelm [Tue, 18 Oct 2016 13:44:54 +0200] rev 64298

tuned;

wenzelm [Tue, 18 Oct 2016 11:50:38 +0200] rev 64297

support for free-form build tags; tuned;

wenzelm [Tue, 18 Oct 2016 11:24:14 +0200] rev 64296

explicit identification of builds and correlated build groups;

wenzelm [Tue, 18 Oct 2016 10:11:22 +0200] rev 64295

avoid spamming log file;

wenzelm [Tue, 18 Oct 2016 10:05:38 +0200] rev 64294

shared_home is default for classic isatest home setup; distinct ISABELLE_IDENTIFIER for all tasks;

isabelle