[isabelle-dev] NEWS: simplified "sos" method

[Makarius]

* 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.

This refers to Isabelle/71cdb885b3bb.  It is a general brush-up of such an 
external tool integration, according to the routine approach of Isabelle 
today.


 	Makarius

----------------------------------------------------------------------------
                               http://stop-ttip.org
----------------------------------------------------------------------------