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