# HG changeset patch
# User nipkow
# Date 1179553671 -7200
# Node ID c38c9039dc138ff44d79b91de36b205fe2aac336
# Parent  496b42cf588d158c0aa4fb142e1466a6c6d9bd60
*** empty log message ***

diff -r 496b42cf588d -r c38c9039dc13 NEWS
--- a/NEWS	Sat May 19 04:52:24 2007 +0200
+++ b/NEWS	Sat May 19 07:47:51 2007 +0200
@@ -892,6 +892,9 @@
 from reals into other types. The overloaded constant Reals :: 'a set
 is now defined as range of_real; potential INCOMPATIBILITY.
 
+* Real: ML code generation is supported now and hence also quickcheck.
+Reals are implemented as arbitrary precision rationals.
+
 * Hyperreal: Several constants that previously worked only for the
 reals have been generalized, so they now work over arbitrary vector
 spaces. Type annotations may need to be added in some cases; potential