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