--- 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)