19 hours ago nipkow [Sat, 21 Apr 2018 11:13:35 +0200] rev 68021 default tip
dont rename PQ.del_min
src/HOL/Data_Structures/Binomial_Heap.thy src/HOL/Data_Structures/Leftist_Heap.thy src/HOL/Data_Structures/Priority_Queue.thy

22 hours ago nipkow [Sat, 21 Apr 2018 08:41:42 +0200] rev 68020
del_min -> split_min
src/HOL/Data_Structures/Binomial_Heap.thy src/HOL/Data_Structures/Brother12_Map.thy src/HOL/Data_Structures/Brother12_Set.thy src/HOL/Data_Structures/Leftist_Heap.thy src/HOL/Data_Structures/Priority_Queue.thy src/HOL/Data_Structures/Tree234_Map.thy src/HOL/Data_Structures/Tree234_Set.thy src/HOL/Data_Structures/Tree23_Map.thy src/HOL/Data_Structures/Tree23_Set.thy src/HOL/Data_Structures/Tree_Map.thy src/HOL/Data_Structures/Tree_Set.thy

32 hours ago wenzelm [Fri, 20 Apr 2018 22:22:46 +0200] rev 68019
merged

32 hours ago wenzelm [Fri, 20 Apr 2018 22:17:42 +0200] rev 68018
support for XZ.Cache;
src/Pure/Admin/build_log.scala src/Pure/Admin/build_status.scala src/Pure/General/bytes.scala src/Pure/General/properties.scala src/Pure/General/xz.scala src/Pure/Thy/sessions.scala

34 hours ago paulson <lp15@cam.ac.uk> [Fri, 20 Apr 2018 19:11:17 +0100] rev 68017
three new theorems
src/HOL/Analysis/Brouwer_Fixpoint.thy src/HOL/Analysis/Change_Of_Vars.thy src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy src/HOL/Analysis/Vitali_Covering_Theorem.thy

39 hours ago wenzelm [Fri, 20 Apr 2018 15:58:02 +0200] rev 68016
merged

39 hours ago wenzelm [Fri, 20 Apr 2018 15:40:21 +0200] rev 68015
updated to postgresql-42.2.2, with more smooth support for Java 9/10;
Admin/components/components.sha1 Admin/components/main

43 hours ago wenzelm [Fri, 20 Apr 2018 11:44:09 +0200] rev 68014
minimal Java source version for jdk-10.0.1;
lib/browser/build

43 hours ago wenzelm [Fri, 20 Apr 2018 11:41:09 +0200] rev 68013
workaround for jdk-10.0.1;
src/Pure/Admin/ci_profile.scala

43 hours ago wenzelm [Fri, 20 Apr 2018 11:34:12 +0200] rev 68012
more robust, notably for jdk-10.0.1 where jre is absent;
lib/scripts/getsettings