NEWS updated

--- a/NEWS	Thu Jun 25 18:12:40 2009 +0200
+++ b/NEWS	Thu Jun 25 20:26:17 2009 +0200
@@ -68,6 +68,10 @@
 * New evaluator "approximate" approximates an real valued term using the same method as the
 approximation method. 
 
+* "approximate" supports now arithmetic expressions as boundaries of intervals and implements
+interval splitting.
+
+
 *** ML ***
 
 * Eliminated old Attrib.add_attributes, Method.add_methods and related