changeset 58192 | d0dffec0da2b |
parent 58100 | f54a8a4134d3 |
child 58202 | be1d10595b7b |
--- a/NEWS Fri Sep 05 00:41:01 2014 +0200 +++ b/NEWS Fri Sep 05 00:41:01 2014 +0200 @@ -37,6 +37,9 @@ strong_coinduct ~> coinduct_strong weak_case_cong ~> case_cong_weak INCOMPATIBILITY. + - The "no_code" option to "free_constructors", "datatype_new", and + "codatatype" has been renamed "plugins del: code". + INCOMPATIBILITY. - The rules "set_empty" have been removed. They are easy consequences of other set rules "by auto". INCOMPATIBILITY.