# HG changeset patch # User hoelzl # Date 1460642100 -7200 # Node ID 38906f0e4633a23ac2d0ad3ce9eb7601a642ed19 # Parent 1d066f6ab25d74f30ce9619c3d9d93578f67d1eb change is incompatible diff -r 1d066f6ab25d -r 38906f0e4633 NEWS --- a/NEWS Thu Apr 14 15:48:11 2016 +0200 +++ b/NEWS Thu Apr 14 15:55:00 2016 +0200 @@ -255,6 +255,7 @@ from ereal to ennreal: emeasure :: 'a measure => 'a set => ennreal nn_integral :: 'a measure => ('a => ennreal) => ennreal +INCOMPATIBILITY. *** ML ***