isabelle: Changelog

paulson <lp15@cam.ac.uk> [Tue, 18 Oct 2016 16:05:24 +0100] rev 64288

Merge

paulson <lp15@cam.ac.uk> [Tue, 18 Oct 2016 15:55:53 +0100] rev 64287

more from moretop.ml

Lars Hupel <lars.hupel@mytum.de> [Tue, 18 Oct 2016 16:48:41 +0200] rev 64286

Jenkins: build in system mode again (backout of 3dbfd6758735)

Lars Hupel <lars.hupel@mytum.de> [Tue, 18 Oct 2016 15:57:34 +0200] rev 64285

Jenkins: configurable clean build

hoelzl [Tue, 18 Oct 2016 12:01:54 +0200] rev 64284

HOL-Analysis: more theorems from Sébastien Gouëzel's Ergodic_Theory

hoelzl [Thu, 13 Oct 2016 18:36:06 +0200] rev 64283

HOL-Probability: move conditional expectation from AFP/Ergodic_Theory

eberlm <eberlm@in.tum.de> [Mon, 17 Oct 2016 15:20:06 +0200] rev 64282

Removed Old_Number_Theory; all theories ported (thanks to Jaime Mendizabal Roche)

haftmann [Tue, 18 Oct 2016 07:04:08 +0200] rev 64281

restored document structure after theory refactoring

wenzelm [Mon, 17 Oct 2016 19:55:56 +0200] rev 64280

NEWS; tuned comment;

wenzelm [Mon, 17 Oct 2016 19:03:13 +0200] rev 64279

merged

isabelle