author | wenzelm |
Thu, 25 Feb 2016 00:36:44 +0100 | |
changeset 62407 | 8383b126b0a9 |
parent 62406 | b5b8fb87447a |
child 62408 | 86f27b264d3d |
--- a/NEWS Thu Feb 25 00:35:17 2016 +0100 +++ b/NEWS Thu Feb 25 00:36:44 2016 +0100 @@ -32,8 +32,8 @@ pred_prod_apply ~> pred_prod_inject INCOMPATIBILITY. -* Renamed split_if -> if_split and split_if_asm -> if_split_asm - to resemble the f.split naming convention. +* Renamed split_if -> if_split and split_if_asm -> if_split_asm to +resemble the f.split naming convention, INCOMPATIBILITY. * Compound constants INFIMUM and SUPREMUM are mere abbreviations now. INCOMPATIBILITY.