# HG changeset patch
# User haftmann
# Date 1260538344 -3600
# Node ID 050bc943d9ba6184ee444f6942aef655ab087692
# Parent  2231c06ca9e0d7734ee48dd036232aab8b8db975
NEWS

diff -r 2231c06ca9e0 -r 050bc943d9ba NEWS
--- 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)