# HG changeset patch
# User wenzelm
# Date 1456357004 -3600
# Node ID 8383b126b0a9e868629d2e85da6b7364aa299dad
# Parent  b5b8fb87447ae08ca3c261317618514fac6eefec
tuned;

diff -r b5b8fb87447a -r 8383b126b0a9 NEWS
--- 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.