2017-09-08 paulson <lp15@cam.ac.uk> [Fri, 08 Sep 2017 15:48:58 +0100] rev 66645
Lawrence Paulson's contributions
CONTRIBUTORS

2017-09-08 paulson [Fri, 08 Sep 2017 15:27:48 +0100] rev 66644
merged

2017-09-08 paulson <lp15@cam.ac.uk> [Fri, 08 Sep 2017 15:27:22 +0100] rev 66643
Correction of typos and a bit of streamlining
NEWS src/HOL/Analysis/Topology_Euclidean_Space.thy

2017-09-08 blanchet [Fri, 08 Sep 2017 16:20:47 +0200] rev 66642
listed contribution
CONTRIBUTORS

2017-09-08 paulson <lp15@cam.ac.uk> [Fri, 08 Sep 2017 12:49:40 +0100] rev 66641
Simplicial complexes and triangulations; Baire Category Theorem
NEWS src/HOL/Analysis/Convex_Euclidean_Space.thy src/HOL/Analysis/Linear_Algebra.thy src/HOL/Analysis/Polytope.thy src/HOL/Analysis/Starlike.thy src/HOL/Analysis/Topology_Euclidean_Space.thy

2017-09-08 wenzelm [Fri, 08 Sep 2017 11:09:56 +0200] rev 66640
updated for release;
ANNOUNCE

2017-09-08 blanchet [Fri, 08 Sep 2017 02:22:58 +0200] rev 66639
removed obsolete session
src/HOL/ROOT

2017-09-08 blanchet [Fri, 08 Sep 2017 01:19:40 +0200] rev 66638
more robust backend identification
src/HOL/Tools/Nunchaku/nunchaku_tool.ML

2017-09-08 blanchet [Fri, 08 Sep 2017 01:14:33 +0200] rev 66637
correctly locate SMBC from Nunchaku
src/HOL/Nunchaku.thy src/HOL/Tools/Nunchaku/nunchaku_tool.ML

2017-09-08 blanchet [Fri, 08 Sep 2017 00:58:08 +0200] rev 66636
added/updated components
Admin/components/components.sha1 Admin/components/main