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