# HG changeset patch
# User hoelzl
# Date 1301401664 -7200
# Node ID 7e6f4ca198bba9d9c53de7d285356bec520aae30
# Parent  d596e7bb251ffc681071cea2e24348a7ef77804c
NEWS

diff -r d596e7bb251f -r 7e6f4ca198bb 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 ***