NEWS
changeset 41286 3d7685a4a5ff
parent 41249 26f12f98f50a
child 41287 029a6fc1bfb8
     1.1 --- a/NEWS	Sun Dec 19 04:06:02 2010 -0800
     1.2 +++ b/NEWS	Sun Dec 19 05:15:31 2010 -0800
     1.3 @@ -487,8 +487,8 @@
     1.4  Accordingly, users of the definitional package must remove any
     1.5  'default_sort rep' declarations. INCOMPATIBILITY.
     1.6  
     1.7 -* The old type classes 'profinite' and 'bifinite', along with the
     1.8 -overloaded constant 'approx' have been removed. INCOMPATIBILITY.
     1.9 +* The 'bifinite' class no longer fixes a constant 'approx'; the class
    1.10 +now just asserts that such a function exists. INCOMPATIBILITY.
    1.11  
    1.12  * The type 'udom alg_defl' has been replaced by the non-parameterized
    1.13  type 'defl'. HOLCF no longer defines an embedding of type defl into