| changeset 31784 | bd3486c57ba3 |
| parent 31726 | ffd2dc631d88 |
| child 31790 | 05c92381363c |
--- a/NEWS Tue Jun 23 15:32:34 2009 +0200 +++ b/NEWS Tue Jun 23 16:27:12 2009 +0200 @@ -52,10 +52,12 @@ INCOMPATIBILITY. - * NewNumberTheory: Jeremy Avigad's new version of part of NumberTheory. If possible, use NewNumberTheory, not NumberTheory. +* Simplified interfaces of datatype module. INCOMPATIBILITY. + + *** ML *** * Eliminated old Attrib.add_attributes, Method.add_methods and related