--- 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