| changeset 31812 | 73dc3a98669c |
| parent 31810 | a6b800855cdd |
| child 31814 | 7c122634da81 |
--- 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