changeset 31971 | 8c1b845ed105 |
parent 31901 | e280491f36b8 |
child 31997 | de0d280c31a7 |
child 32064 | 53ca12ff305d |
--- a/NEWS Thu Jul 09 17:34:59 2009 +0200 +++ b/NEWS Thu Jul 09 22:01:41 2009 +0200 @@ -92,6 +92,10 @@ *** ML *** +* Renamed functor TableFun to Table, and GraphFun to Graph. (Since +functors have their own ML name space there is no point to mark them +separately.) Minor INCOMPATIBILITY. + * Renamed NamedThmsFun to Named_Thms. INCOMPATIBILITY. * Eliminated old Attrib.add_attributes, Method.add_methods and related