diff -r e4c9e0dad473 -r cb9fd7dd641c NEWS
--- a/NEWS	Fri Nov 05 23:19:20 2010 +0100
+++ b/NEWS	Sat Nov 06 00:10:32 2010 +0100
@@ -354,6 +354,9 @@
     yices_options
     smt_datatypes
 
+* Removed [split_format ... and ... and ...] version of
+[split_format].  Potential INCOMPATIBILITY.
+
 *** FOL ***
 
 * All constant names are now qualified.  INCOMPATIBILITY.