20 months ago paulson <lp15@cam.ac.uk> [Tue, 10 Oct 2017 22:18:58 +0100] rev 66835
fixed markup
src/HOL/Analysis/Connected.thy

20 months ago wenzelm [Tue, 10 Oct 2017 20:33:29 +0200] rev 66834
ignore isolated nodes by default;
src/Pure/General/graph_display.scala

20 months ago wenzelm [Tue, 10 Oct 2017 19:51:54 +0200] rev 66833
merged

20 months ago wenzelm [Tue, 10 Oct 2017 19:48:29 +0200] rev 66832
cycle check with informative error;
src/Pure/Admin/afp.scala

20 months ago wenzelm [Tue, 10 Oct 2017 19:23:03 +0200] rev 66831
tuned: each session has at most one defining entry;
src/Pure/Admin/afp.scala

20 months ago wenzelm [Tue, 10 Oct 2017 13:46:12 +0200] rev 66830
more operations;
src/Pure/General/graph.ML src/Pure/General/graph.scala

20 months ago wenzelm [Tue, 10 Oct 2017 11:24:35 +0200] rev 66829
tuned signature;
src/Pure/Thy/sessions.scala

20 months ago wenzelm [Tue, 10 Oct 2017 11:20:02 +0200] rev 66828
tuned signature;
src/Pure/Thy/sessions.scala

20 months ago paulson <lp15@cam.ac.uk> [Tue, 10 Oct 2017 17:15:37 +0100] rev 66827
Divided Topology_Euclidean_Space in two, creating new theory Connected. Also deleted some duplicate / variant theorems
src/HOL/Analysis/Bounded_Linear_Function.thy src/HOL/Analysis/Cauchy_Integral_Theorem.thy src/HOL/Analysis/Complex_Analysis_Basics.thy src/HOL/Analysis/Complex_Transcendental.thy src/HOL/Analysis/Conformal_Mappings.thy src/HOL/Analysis/Connected.thy src/HOL/Analysis/Convex_Euclidean_Space.thy src/HOL/Analysis/Function_Topology.thy src/HOL/Analysis/Further_Topology.thy src/HOL/Analysis/Great_Picard.thy src/HOL/Analysis/Homeomorphism.thy src/HOL/Analysis/Ordered_Euclidean_Space.thy src/HOL/Analysis/Path_Connected.thy src/HOL/Analysis/Riemann_Mapping.thy src/HOL/Analysis/Tagged_Division.thy src/HOL/Analysis/Topology_Euclidean_Space.thy src/HOL/Analysis/Uniform_Limit.thy src/HOL/Analysis/Winding_Numbers.thy src/HOL/Limits.thy src/HOL/Nonstandard_Analysis/HLim.thy src/HOL/Topological_Spaces.thy src/HOL/Transcendental.thy

20 months ago paulson <lp15@cam.ac.uk> [Tue, 10 Oct 2017 14:03:51 +0100] rev 66826
Session HOL-Analysis: Moebius functions and the Riemann mapping theorem.
NEWS src/HOL/Analysis/Analysis.thy src/HOL/Analysis/Path_Connected.thy src/HOL/Analysis/Riemann_Mapping.thy src/HOL/Analysis/Winding_Numbers.thy