change is incompatible
authorhoelzl
Thu, 14 Apr 2016 15:55:00 +0200
changeset 62976 38906f0e4633
parent 62975 1d066f6ab25d
child 62977 2e874d9aca43
change is incompatible
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 ***