# HG changeset patch
# User haftmann
# Date 1550740506 0
# Node ID 7c0a2ab90786e1b19ca2f195a2240e30f07a5263
# Parent  1bea05713dde80c3ea3511f1906c68d3316482f7
tuned whitespace

diff -r 1bea05713dde -r 7c0a2ab90786 NEWS
--- 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"