diff -r a6a6cd499d4e -r 71cdb885b3bb NEWS
--- a/NEWS	Wed Oct 08 10:15:04 2014 +0200
+++ b/NEWS	Wed Oct 08 11:09:17 2014 +0200
@@ -126,6 +126,12 @@
   generated code in target languages in HOL/Library/Code_Test. See
   HOL/Codegenerator_Test/Code_Test* for examples.
 
+* Library/Sum_of_Squares: simplified and improved "sos" method. Always
+use local CSDP executable, which is much faster than the NEOS server.
+The "sos_cert" functionality is invoked as "sos" with additional
+argument. Minor INCOMPATIBILITY.
+
+
 *** ML ***
 
 * Tactical PARALLEL_ALLGOALS is the most common way to refer to