--- a/NEWS Fri Dec 11 08:47:16 2009 +0100
+++ b/NEWS Fri Dec 11 14:32:24 2009 +0100
@@ -33,7 +33,7 @@
*** ML ***
-* Curried take and drop. INCOMPATIBILITY.
+* Curried take and drop; negative length is interpreted as infinity. INCOMPATIBILITY.
New in Isabelle2009-1 (December 2009)