NEWS

--- a/NEWS	Tue Mar 29 14:27:42 2011 +0200
+++ b/NEWS	Tue Mar 29 14:27:44 2011 +0200
@@ -56,6 +56,11 @@
 * Function package: discontinued option "tailrec".
 INCOMPATIBILITY. Use partial_function instead.
 
+* HOL-Probability:
+  - Caratheodory's extension lemma is now proved for ring_of_sets.
+  - Infinite products of probability measures are now available.
+  - Use extended reals instead of positive extended reals.
+    INCOMPATIBILITY.
 
 *** Document preparation ***