NEWS
changeset 68495 d4312962161a
parent 68484 59793df7f853
child 68515 0854edc4d415
     1.1 --- a/NEWS	Mon Jun 25 14:06:50 2018 +0100
     1.2 +++ b/NEWS	Tue Jun 26 14:51:18 2018 +0100
     1.3 @@ -386,6 +386,10 @@
     1.4  The set of isomorphisms between two groups is now denoted iso rather than iso_set.
     1.5  INCOMPATIBILITY.
     1.6  
     1.7 +* Session HOL-Analysis: the Arg function now respects the same interval as
     1.8 +Ln, namely (-pi,pi]; the old Arg function has been renamed Arg2pi. 
     1.9 +INCOMPATIBILITY.
    1.10 +
    1.11  * Session HOL-Analysis: infinite products, Moebius functions, the
    1.12  Riemann mapping theorem, the Vitali covering theorem,
    1.13  change-of-variables results for integration and measures.