--- a/NEWS Wed Feb 20 21:54:52 2019 +0100
+++ b/NEWS Thu Feb 21 09:15:06 2019 +0000
@@ -90,7 +90,8 @@
* Formal Laurent series and overhaul of Formal power series
in HOL-Computational_Algebra
-* exponentiation by squaring in HOL-Library; used for computing powers in monoid_mult and modular exponentiation in HOL-Number_Theory
+* Exponentiation by squaring in HOL-Library; used for computing powers
+in monoid_mult and modular exponentiation in HOL-Number_Theory
* more material on residue rings in HOL-Number_Theory:
Carmichael's function, primitive roots, more properties for "ord"