# HG changeset patch
# User wenzelm
# Date 1484491706 -3600
# Node ID 49aa13b1b59296fd24e1915c14cb884ab2fa9115
# Parent  c3320dc731c7976ec69cc29e6ecd00b6ce2e8597
tuned whitespace;

diff -r c3320dc731c7 -r 49aa13b1b592 NEWS
--- a/NEWS	Sun Jan 15 12:59:40 2017 +0100
+++ b/NEWS	Sun Jan 15 15:48:26 2017 +0100
@@ -71,8 +71,9 @@
     with type class annotations. As a result, the tactic that derives
     it no longer fails on nested datatypes. Slight INCOMPATIBILITY.
 
-* Session HOL-Analysis: more material involving arcs, paths, covering spaces,
-innessential maps, retracts. Major results include the Jordan Curve Theorem.
+* Session HOL-Analysis: more material involving arcs, paths, covering
+spaces, innessential maps, retracts. Major results include the Jordan
+Curve Theorem.
 
 * The theorem in Permutations has been renamed:
   bij_swap_ompose_bij ~> bij_swap_compose_bij