NEWS
changeset 23180 80b9caed2ba8
parent 23129 a318773dca05
child 23210 a0cb15114e7a
     1.1 --- a/NEWS	Thu May 31 23:47:38 2007 +0200
     1.2 +++ b/NEWS	Fri Jun 01 10:44:24 2007 +0200
     1.3 @@ -544,7 +544,7 @@
     1.4      Numeral.number_of ~> Numeral.number_class.number_of
     1.5      FixedPoint.Inf ~> FixedPoint.complete_lattice_class.Inf
     1.6  
     1.7 -* Rudimentary class target mechanims involves constant renames:
     1.8 +* Rudimentary class target mechanism involves constant renames:
     1.9  
    1.10      Orderings.min ~> Orderings.ord_class.min
    1.11      Orderings.max ~> Orderings.ord_class.max