changeset 62396 | 6fb3e5508e79 |
parent 62376 | 85f38d5f8807 |
child 62407 | 8383b126b0a9 |
--- a/NEWS Tue Feb 23 19:05:18 2016 +0100 +++ b/NEWS Wed Feb 24 07:41:52 2016 +0100 @@ -32,6 +32,9 @@ 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. + * Compound constants INFIMUM and SUPREMUM are mere abbreviations now. INCOMPATIBILITY.