NEWS

--- a/NEWS	Sat Oct 30 16:33:58 2010 +0200
+++ b/NEWS	Sat Oct 30 21:08:20 2010 +0200
@@ -60,6 +60,8 @@
 floating-point notation that coincides with the inner syntax for
 float_token.
 
+* Support for real valued preferences (with approximative PGIP type).
+
 * Interpretation command 'interpret' accepts a list of equations like
 'interpretation' does.