diff -r 06372924e86c -r a6b800855cdd NEWS
--- 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 ***