10 months ago wenzelm [Fri, 05 Oct 2018 23:49:12 +0200] rev 69126
discontinue java.ext.dirs for jdk-11 -- in contrast to 982f0bf34804 for jdk-8;
Admin/Linux/Isabelle.run Admin/MacOS/Info.plist-part2 Admin/Windows/launch4j/isabelle.xml bin/isabelle_java lib/Tools/java lib/Tools/scala lib/Tools/scalac

10 months ago nipkow [Fri, 05 Oct 2018 17:49:10 +0200] rev 69125
more [simp]
src/HOL/List.thy

10 months ago wenzelm [Thu, 04 Oct 2018 16:40:03 +0200] rev 69124
avoid TCP_NODELAY (in contrast to 18c621069bf8): might cause problems with some versions of Ubuntu 18.04;
src/Pure/General/socket_io.ML src/Pure/System/system_channel.scala

10 months ago paulson [Thu, 04 Oct 2018 15:25:58 +0100] rev 69123
merged

10 months ago paulson <lp15@cam.ac.uk> [Thu, 04 Oct 2018 15:25:47 +0100] rev 69122
updates to Algebra from Baillon and de Vilhena
src/HOL/Algebra/Chinese_Remainder.thy src/HOL/Algebra/Coset.thy src/HOL/Algebra/Cycles.thy src/HOL/Algebra/Embedded_Algebras.thy src/HOL/Algebra/Generated_Groups.thy src/HOL/Algebra/Group.thy src/HOL/Algebra/Ideal.thy src/HOL/Algebra/QuotRing.thy src/HOL/Algebra/Solvable_Groups.thy src/HOL/Algebra/Subrings.thy src/HOL/Algebra/Sym_Groups.thy src/HOL/Algebra/Weak_Morphisms.thy

10 months ago Lars Hupel <lars.hupel@mytum.de> [Thu, 04 Oct 2018 15:06:09 +0200] rev 69121
use correct hostname
src/Pure/Admin/ci_profile.scala

10 months ago Lars Hupel <lars.hupel@mytum.de> [Thu, 04 Oct 2018 14:52:50 +0200] rev 69120
Jenkins: detect machine; adjust job parameters accordingly
src/Pure/Admin/ci_profile.scala

10 months ago Lars Hupel <lars.hupel@mytum.de> [Thu, 04 Oct 2018 13:08:13 +0200] rev 69119
Jenkins: tuned profiles
Admin/jenkins/build/ci_build_benchmark.scala Admin/jenkins/build/ci_build_mac.scala Admin/jenkins/build/ci_build_makeall_seq.scala

10 months ago nipkow [Thu, 04 Oct 2018 11:18:39 +0200] rev 69118
merged

10 months ago nipkow [Thu, 04 Oct 2018 10:35:29 +0200] rev 69117
simplified proofs
src/HOL/Library/Tree.thy src/HOL/Library/Tree_Real.thy