isabelle: Changelog

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;

hoelzl [Tue, 18 Oct 2016 23:47:33 +0200] rev 64293

add missing file Essential_Supremum.thy

paulson <lp15@cam.ac.uk> [Tue, 18 Oct 2016 19:28:39 +0100] rev 64292

Merge

paulson <lp15@cam.ac.uk> [Tue, 18 Oct 2016 19:12:40 +0100] rev 64291

Inserted necessary dependency

isabelle