# HG changeset patch
# User haftmann
# Date 1259948622 -3600
# Node ID f412388c809ce9fb92ce0f55ef40c6e5fbb95c5f
# Parent  bf22ff4f3d193f1be82359abdddb78c5e2783e09
NEWS

diff -r bf22ff4f3d19 -r f412388c809c NEWS
--- a/NEWS	Fri Dec 04 18:19:32 2009 +0100
+++ b/NEWS	Fri Dec 04 18:43:42 2009 +0100
@@ -1,6 +1,22 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
+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)
 -------------------------------------