isabelle: Changelog

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;

nipkow [Fri, 05 Oct 2018 17:49:10 +0200] rev 69125

more [simp]

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;

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

merged

paulson <lp15@cam.ac.uk> [Thu, 04 Oct 2018 15:25:47 +0100] rev 69122

updates to Algebra from Baillon and de Vilhena

Lars Hupel <lars.hupel@mytum.de> [Thu, 04 Oct 2018 15:06:09 +0200] rev 69121

use correct hostname

Lars Hupel <lars.hupel@mytum.de> [Thu, 04 Oct 2018 14:52:50 +0200] rev 69120

Jenkins: detect machine; adjust job parameters accordingly

Lars Hupel <lars.hupel@mytum.de> [Thu, 04 Oct 2018 13:08:13 +0200] rev 69119

Jenkins: tuned profiles

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

merged

nipkow [Thu, 04 Oct 2018 10:35:29 +0200] rev 69117

simplified proofs

isabelle