author | haftmann |
Fri, 01 Jun 2007 10:44:24 +0200 | |
changeset 23180 | 80b9caed2ba8 |
parent 23179 | 8db2b22257bd |
child 23181 | f52b555f8141 |
--- a/NEWS Thu May 31 23:47:38 2007 +0200 +++ b/NEWS Fri Jun 01 10:44:24 2007 +0200 @@ -544,7 +544,7 @@ Numeral.number_of ~> Numeral.number_class.number_of FixedPoint.Inf ~> FixedPoint.complete_lattice_class.Inf -* Rudimentary class target mechanims involves constant renames: +* Rudimentary class target mechanism involves constant renames: Orderings.min ~> Orderings.ord_class.min Orderings.max ~> Orderings.ord_class.max