# HG changeset patch
# User haftmann
# Date 1281529900 -7200
# Node ID 19000bb11ff5d2187f5a1dd792cd5dfd7b2b93ed
# Parent  8f32f475228801372fa1bd2eaa2441cf4ee0803b
NEWS

diff -r 8f32f4752288 -r 19000bb11ff5 NEWS
--- a/NEWS	Wed Aug 11 14:20:34 2010 +0200
+++ b/NEWS	Wed Aug 11 14:31:40 2010 +0200
@@ -35,6 +35,10 @@
 
 *** HOL ***
 
+* Theory Library/Monad_Syntax provides do-syntax for monad types.  Syntax
+in Library/State_Monad has been changed to avoid ambiguities.
+INCOMPATIBILITY.
+
 * code generator: export_code without explicit file declaration prints
 to standard output.  INCOMPATIBILITY.