NEWS
changeset 34259 2ba492b8b6e8
parent 34255 2dd2547acb41
child 34933 0652d00305be
     1.1 --- a/NEWS	Mon Jan 04 22:43:07 2010 +0100
     1.2 +++ b/NEWS	Mon Jan 04 23:20:35 2010 +0100
     1.3 @@ -47,6 +47,11 @@
     1.4  * Subgoal.FOCUS (and variants): resulting goal state is normalized as
     1.5  usual for resolution.  Rare INCOMPATIBILITY.
     1.6  
     1.7 +* Discontinued old TheoryDataFun with its copy/init operation -- data
     1.8 +needs to be pure.  Functor Theory_Data_PP retains the traditional
     1.9 +Pretty.pp argument to merge, which is absent in the standard
    1.10 +Theory_Data version.
    1.11 +
    1.12  
    1.13  *** System ***
    1.14