| changeset 31810 | a6b800855cdd |
| parent 31804 | 627d142fce19 |
| child 31812 | 73dc3a98669c |
--- a/NEWS Mon Jun 15 12:14:40 2009 +0200 +++ b/NEWS Mon Jun 08 18:37:35 2009 +0200 @@ -65,6 +65,8 @@ * Abbreviation "arbitrary" of "undefined" has disappeared; use "undefined" directly. INCOMPATIBILITY. +* New evaluator "approximate" approximates an real valued term using the same method as the +approximation method. *** ML ***