diff -r 4ceda7d0c955 -r 6fb3e5508e79 NEWS
--- 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.