diff -r 1ae222745c4a -r fc8af744f63c NEWS
--- a/NEWS	Fri Dec 04 17:19:59 2009 +0100
+++ b/NEWS	Fri Dec 04 18:51:15 2009 +0100
@@ -4,6 +4,18 @@
 New in this Isabelle version
 ----------------------------
 
+*** HOL ***
+
+* Reorganized theory Sum_Type.thy; Inl and Inr now have
+authentic syntax.  INCOMPATIBILITY.
+
+* Code generation: ML and OCaml code is decorated with signatures.
+
+
+*** ML ***
+
+* Curried take and drop.  INCOMPATIBILITY.
+
 
 New in Isabelle2009-1 (December 2009)
 -------------------------------------