--- a/NEWS Mon Jun 25 14:06:50 2018 +0100
+++ b/NEWS Tue Jun 26 14:51:18 2018 +0100
@@ -386,6 +386,10 @@
The set of isomorphisms between two groups is now denoted iso rather than iso_set.
INCOMPATIBILITY.
+* Session HOL-Analysis: the Arg function now respects the same interval as
+Ln, namely (-pi,pi]; the old Arg function has been renamed Arg2pi.
+INCOMPATIBILITY.
+
* Session HOL-Analysis: infinite products, Moebius functions, the
Riemann mapping theorem, the Vitali covering theorem,
change-of-variables results for integration and measures.