# HG changeset patch
# User wenzelm
# Date 1275903752 -7200
# Node ID c4f393759c5931b9e9f422a3ec8db08a6fb5ce8a
# Parent  f34699c3e98e99c8b597471ebe5a46945e8fb629
more NEWS;

diff -r f34699c3e98e -r c4f393759c59 NEWS
--- a/NEWS	Mon Jun 07 11:27:08 2010 +0200
+++ b/NEWS	Mon Jun 07 11:42:32 2010 +0200
@@ -3368,6 +3368,8 @@
 * Real: proper support for ML code generation, including 'quickcheck'.
 Reals are implemented as arbitrary precision rationals.
 
+* Real: new development using Cauchy Sequences.
+
 * 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