--- 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 ***