diff -r f9a2e10c49cb -r 134131d519c0 NEWS
--- a/NEWS	Sun Mar 13 16:52:59 2011 +0100
+++ b/NEWS	Sun Mar 13 17:28:14 2011 +0100
@@ -21,6 +21,13 @@
 The global load path (such as src/HOL/Library) is has been
 discontinued.  INCOMPATIBILITY.
 
+* Various optional external tools are referenced more robustly and
+uniformly by explicit Isabelle settings as follows, without automated
+detection from the shell environment or path (potential
+INCOMPATIBILITY):
+
+  ISABELLE_CSDP  (formerly CSDP_EXE)
+
 
 *** HOL ***