diff -r 85eceef2edc7 -r cc6768509ed3 NEWS --- a/NEWS Tue Sep 18 07:46:00 2007 +0200 +++ b/NEWS Tue Sep 18 08:28:47 2007 +0200 @@ -729,6 +729,8 @@ * Lemma "set_take_whileD" renamed to "set_takeWhileD" +* new functions sorted and sort in List. + * function "sgn" is now overloaded and available on int, real, complex (and other numeric types). The details: new class "sgn" with function "sgn";