Tue, 18 Oct 2016 15:09:52 +0200 more flexible multicore configuration;
wenzelm [Tue, 18 Oct 2016 15:09:52 +0200] rev 64301
more flexible multicore configuration;
Tue, 18 Oct 2016 14:32:51 +0200 clarified multiple props: result needs to fit on a single line within the log file;
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;
Tue, 18 Oct 2016 13:56:49 +0200 clarified properties;
wenzelm [Tue, 18 Oct 2016 13:56:49 +0200] rev 64299
clarified properties;
Tue, 18 Oct 2016 13:44:54 +0200 tuned;
wenzelm [Tue, 18 Oct 2016 13:44:54 +0200] rev 64298
tuned;
Tue, 18 Oct 2016 11:50:38 +0200 support for free-form build tags;
wenzelm [Tue, 18 Oct 2016 11:50:38 +0200] rev 64297
support for free-form build tags; tuned;
Tue, 18 Oct 2016 11:24:14 +0200 explicit identification of builds and correlated build groups;
wenzelm [Tue, 18 Oct 2016 11:24:14 +0200] rev 64296
explicit identification of builds and correlated build groups;
Tue, 18 Oct 2016 10:11:22 +0200 avoid spamming log file;
wenzelm [Tue, 18 Oct 2016 10:11:22 +0200] rev 64295
avoid spamming log file;
Tue, 18 Oct 2016 10:05:38 +0200 shared_home is default for classic isatest home setup;
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;
Tue, 18 Oct 2016 23:47:33 +0200 add missing file Essential_Supremum.thy
hoelzl [Tue, 18 Oct 2016 23:47:33 +0200] rev 64293
add missing file Essential_Supremum.thy
Tue, 18 Oct 2016 19:28:39 +0100 Merge
paulson <lp15@cam.ac.uk> [Tue, 18 Oct 2016 19:28:39 +0100] rev 64292
Merge
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip