NEWS
changeset 23013 c38c9039dc13
parent 22997 d4f3b015b50b
child 23029 79ee75dc1e59
     1.1 --- a/NEWS	Sat May 19 04:52:24 2007 +0200
     1.2 +++ b/NEWS	Sat May 19 07:47:51 2007 +0200
     1.3 @@ -892,6 +892,9 @@
     1.4  from reals into other types. The overloaded constant Reals :: 'a set
     1.5  is now defined as range of_real; potential INCOMPATIBILITY.
     1.6  
     1.7 +* Real: ML code generation is supported now and hence also quickcheck.
     1.8 +Reals are implemented as arbitrary precision rationals.
     1.9 +
    1.10  * Hyperreal: Several constants that previously worked only for the
    1.11  reals have been generalized, so they now work over arbitrary vector
    1.12  spaces. Type annotations may need to be added in some cases; potential