9 months ago haftmann [Sun, 08 Oct 2017 22:28:19 +0200] rev 66797
removed mere toy example from library
src/HOL/Library/Function_Growth.thy src/HOL/Library/Library.thy src/HOL/ROOT src/HOL/ex/Function_Growth.thy

9 months ago haftmann [Sun, 08 Oct 2017 22:28:19 +0200] rev 66796
tuned proofs
src/HOL/GCD.thy

9 months ago haftmann [Sun, 08 Oct 2017 22:28:19 +0200] rev 66795
dropped dead code
src/HOL/Nat_Transfer.thy src/HOL/Tools/legacy_transfer.ML

9 months ago paulson <lp15@cam.ac.uk> [Mon, 09 Oct 2017 16:14:18 +0100] rev 66794
Fixed the theorem name "closed_imp_fip_compact"
src/HOL/Analysis/Topology_Euclidean_Space.thy

9 months ago paulson <lp15@cam.ac.uk> [Mon, 09 Oct 2017 15:34:23 +0100] rev 66793
new material about connectedness, etc.
src/HOL/Analysis/Cauchy_Integral_Theorem.thy src/HOL/Analysis/Complex_Transcendental.thy src/HOL/Analysis/Conformal_Mappings.thy src/HOL/Analysis/Convex_Euclidean_Space.thy src/HOL/Analysis/Henstock_Kurzweil_Integration.thy src/HOL/Analysis/Path_Connected.thy src/HOL/Analysis/Starlike.thy src/HOL/Analysis/Topology_Euclidean_Space.thy src/HOL/Archimedean_Field.thy src/HOL/Complex.thy src/HOL/Limits.thy src/HOL/Real.thy src/HOL/Real_Vector_Spaces.thy src/HOL/Rings.thy

9 months ago wenzelm [Sun, 08 Oct 2017 16:50:37 +0200] rev 66792
more on Docker;
Admin/Release/CHECKLIST

9 months ago wenzelm [Sun, 08 Oct 2017 15:54:55 +0200] rev 66791
removed obsolete RC tags;
.hgtags

9 months ago wenzelm [Sun, 08 Oct 2017 14:52:06 +0200] rev 66790
build_docker is regular tool (non-admin);
src/Pure/Admin/build_docker.scala src/Pure/Tools/build_docker.scala src/Pure/build-jars

9 months ago wenzelm [Sun, 08 Oct 2017 14:48:47 +0200] rev 66789
merged
NEWS src/Doc/System/Environment.thy

9 months ago wenzelm [Sun, 08 Oct 2017 11:58:01 +0200] rev 66788
Added tag Isabelle2017 for changeset 64b47495676d
.hgtags