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
Tue, 18 Oct 2016 19:12:40 +0100 Inserted necessary dependency
paulson <lp15@cam.ac.uk> [Tue, 18 Oct 2016 19:12:40 +0100] rev 64291
Inserted necessary dependency
Tue, 18 Oct 2016 18:48:53 +0200 suitable logical type class for abs, sgn
haftmann [Tue, 18 Oct 2016 18:48:53 +0200] rev 64290
suitable logical type class for abs, sgn
Tue, 18 Oct 2016 17:29:28 +0200 HOL-Analysis: move Function Topology from AFP/Ergodict_Theory; HOL-Probability: move Essential Supremum from AFP/Lp
hoelzl [Tue, 18 Oct 2016 17:29:28 +0200] rev 64289
HOL-Analysis: move Function Topology from AFP/Ergodict_Theory; HOL-Probability: move Essential Supremum from AFP/Lp
Tue, 18 Oct 2016 16:05:24 +0100 Merge
paulson <lp15@cam.ac.uk> [Tue, 18 Oct 2016 16:05:24 +0100] rev 64288
Merge
Tue, 18 Oct 2016 15:55:53 +0100 more from moretop.ml
paulson <lp15@cam.ac.uk> [Tue, 18 Oct 2016 15:55:53 +0100] rev 64287
more from moretop.ml
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip