summary |
shortlog |
changelog |
graph |
tags |
branches |
files |
changeset |
file |
revisions |
annotate |
diff |
raw

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.