diff -r 3bdebf6ad9da -r 0cebcbeac4c7 NEWS
--- a/NEWS	Wed Aug 29 17:19:48 2012 +0200
+++ b/NEWS	Wed Aug 29 20:16:22 2012 +0200
@@ -97,6 +97,10 @@
 
 *** System ***
 
+* The ML system is configured as regular component, and no longer
+picked up from some surrounding directory.  Potential INCOMPATIBILITY
+for home-made configurations.
+
 * The "isabelle logo" tool allows to specify EPS or PDF format; the
 latter is preferred now.  Minor INCOMPATIBILITY.