isabelle: Changelog

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

Lars Hupel <lars.hupel@mytum.de> [Thu, 04 Oct 2018 11:10:15 +0200] rev 69116

Jenkins: delete obsolete profile

isabelle