NEWS
changeset 60516 0826b7025d07
parent 60515 484559628038
child 60517 f16e4fb20652
     1.1 --- a/NEWS	Fri Jun 19 15:55:22 2015 +0200
     1.2 +++ b/NEWS	Fri Jun 19 07:53:33 2015 +0200
     1.3 @@ -92,11 +92,14 @@
     1.4  * Nitpick:
     1.5    - Removed "check_potential" and "check_genuine" options.
     1.6  
     1.7 +* Tightened specification of class semiring_no_zero_divisors.  Slight
     1.8 +INCOMPATIBILITY.
     1.9 +
    1.10  * Former constants Fields.divide (_ / _) and Divides.div (_ div _)
    1.11  are logically unified to Rings.divide in syntactic type class
    1.12  Rings.divide, with infix syntax (_ div _).  Infix syntax (_ / _)
    1.13  for field division is added later as abbreviation in class Fields.inverse.
    1.14 -INCOMPATIBILITY,  instantiatios must refer to Rings.divide rather
    1.15 +INCOMPATIBILITY,  instantiations must refer to Rings.divide rather
    1.16  than the former separate constants, hence infix syntax (_ / _) is usually
    1.17  not available during instantiation.
    1.18