diff -r fe31c7e7ebf4 -r d84b355f341f NEWS --- a/NEWS Sat Apr 11 23:55:04 2015 +0200 +++ b/NEWS Sun Apr 12 00:26:24 2015 +0200 @@ -262,8 +262,8 @@ additive inverse operation. INCOMPATIBILITY. * Complex powers and square roots. The functions "ln" and "powr" are now - overloaded for types real and complex, and 0 powr y = 0 by definition. - INCOMPATIBILITY: type constraints may be necessary. +overloaded for types real and complex, and 0 powr y = 0 by definition. +INCOMPATIBILITY: type constraints may be necessary. * The functions "sin" and "cos" are now defined for any type of sort "{real_normed_algebra_1,banach}" type, so in particular on "real" and