# HG changeset patch
# User wenzelm
# Date 1504893318 -7200
# Node ID bcea02893d17d453f6a61f216e5319a3e5773cb3
# Parent  2230dc7a1764257cb8372e5d0607a36147632e93
tuned;

diff -r 2230dc7a1764 -r bcea02893d17 NEWS
--- a/NEWS	Fri Sep 08 19:35:07 2017 +0200
+++ b/NEWS	Fri Sep 08 19:55:18 2017 +0200
@@ -254,9 +254,9 @@
 * Theory "HOL-Library.Uprod" formalizes the type of unordered pairs.
 
 * Session HOL-Analysis: more material involving arcs, paths, covering
-spaces, innessential maps, retracts, infinite products, simplicial complexes.
-Baire Category theorem. Major results include the Jordan Curve Theorem and the Great Picard
-Theorem.
+spaces, innessential maps, retracts, infinite products, simplicial
+complexes. Baire Category theorem. Major results include the Jordan
+Curve Theorem and the Great Picard Theorem.
 
 * Session HOL-Algebra has been extended by additional lattice theory:
 the Knaster-Tarski fixed point theorem and Galois Connections.